diff --git a/tools/release/bins.pl b/tools/release/bins.pl index c7af1f64c2..bd979ac670 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 fb4bbb876a..9aa3feebd4 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 ab00227d70..b605362496 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