diff options
| -rwxr-xr-x | tools/release/bins.pl | 6 | ||||
| -rwxr-xr-x | tools/release/manuals.pl | 4 | ||||
| -rwxr-xr-x | tools/release/voices.pl | 2 |
3 files changed, 6 insertions, 6 deletions
diff --git a/tools/release/bins.pl b/tools/release/bins.pl index 99982be..92380e5 100755 --- a/tools/release/bins.pl +++ b/tools/release/bins.pl @@ -117,13 +117,13 @@ sub buildit { `make VERSION=$version`; print "Run 'make zip'\n" if($verbose); - `make zip`; + `make zip VERSION=$version`; print "Run 'make mapzip'\n" if($verbose); - `make mapzip`; + `make mapzip VERSION=$version`; print "Run 'make elfzip'\n" if($verbose); - `make elfzip`; + `make elfzip VERSION=$version`; } sub buildfonts { diff --git a/tools/release/manuals.pl b/tools/release/manuals.pl index 3992da5..91a67cd 100755 --- a/tools/release/manuals.pl +++ b/tools/release/manuals.pl @@ -65,10 +65,10 @@ sub buildit { `$c`; print "Run 'make'\n" if($verbose); - `make manual 2>/dev/null`; + `make manual VERSION=$version 2>/dev/null`; print "Run 'make manual-zip'\n" if($verbose); - `make manual-zip 2>/dev/null`; + `make manual-zip VERSION=$version 2>/dev/null`; } # run make in tools first to make sure they're up-to-date diff --git a/tools/release/voices.pl b/tools/release/voices.pl index d4a91b1..0f4df27 100755 --- a/tools/release/voices.pl +++ b/tools/release/voices.pl @@ -62,7 +62,7 @@ sub buildit { `$c`; print "Run 'make voice'\n" if($verbose); - print `make voice 2>/dev/null`; + print `make voice VERSION=$version 2>/dev/null`; } # run make in tools first to make sure they're up-to-date |