diff options
Diffstat (limited to 'defparams.pl')
-rw-r--r-- | defparams.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/defparams.pl b/defparams.pl index 807e51310..97ef398df 100644 --- a/defparams.pl +++ b/defparams.pl @@ -36,7 +36,11 @@ sub WriteParams { chmod 0777, "data"; my $tmpname = "data/params.$$"; open(FID, ">$tmpname") || die "Can't create $tmpname"; + my $v = $::param{'version'}; + undef $::param{'version'}; # Don't write the version number out to + # the params file. print FID GenerateCode('%::param'); + $::param{'version'} = $v; print FID "1;\n"; close FID; rename $tmpname, "data/params" || die "Can't rename $tmpname to data/params"; |