diff options
Diffstat (limited to 'tools/release/bins.pl')
| -rwxr-xr-x | tools/release/bins.pl | 6 |
1 files changed, 3 insertions, 3 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 { |