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 99982be41a..92380e5464 100755 --- a/tools/release/bins.pl +++ b/tools/release/bins.pl | |||
@@ -117,13 +117,13 @@ sub buildit { | |||
117 | `make VERSION=$version`; | 117 | `make VERSION=$version`; |
118 | 118 | ||
119 | print "Run 'make zip'\n" if($verbose); | 119 | print "Run 'make zip'\n" if($verbose); |
120 | `make zip`; | 120 | `make zip VERSION=$version`; |
121 | 121 | ||
122 | print "Run 'make mapzip'\n" if($verbose); | 122 | print "Run 'make mapzip'\n" if($verbose); |
123 | `make mapzip`; | 123 | `make mapzip VERSION=$version`; |
124 | 124 | ||
125 | print "Run 'make elfzip'\n" if($verbose); | 125 | print "Run 'make elfzip'\n" if($verbose); |
126 | `make elfzip`; | 126 | `make elfzip VERSION=$version`; |
127 | } | 127 | } |
128 | 128 | ||
129 | sub buildfonts { | 129 | sub buildfonts { |