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 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 { |
diff --git a/tools/release/manuals.pl b/tools/release/manuals.pl index 3992da53d2..91a67cd684 100755 --- a/tools/release/manuals.pl +++ b/tools/release/manuals.pl | |||
@@ -65,10 +65,10 @@ sub buildit { | |||
65 | `$c`; | 65 | `$c`; |
66 | 66 | ||
67 | print "Run 'make'\n" if($verbose); | 67 | print "Run 'make'\n" if($verbose); |
68 | `make manual 2>/dev/null`; | 68 | `make manual VERSION=$version 2>/dev/null`; |
69 | 69 | ||
70 | print "Run 'make manual-zip'\n" if($verbose); | 70 | print "Run 'make manual-zip'\n" if($verbose); |
71 | `make manual-zip 2>/dev/null`; | 71 | `make manual-zip VERSION=$version 2>/dev/null`; |
72 | } | 72 | } |
73 | 73 | ||
74 | # run make in tools first to make sure they're up-to-date | 74 | # 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 d4a91b1806..0f4df2789f 100755 --- a/tools/release/voices.pl +++ b/tools/release/voices.pl | |||
@@ -62,7 +62,7 @@ sub buildit { | |||
62 | `$c`; | 62 | `$c`; |
63 | 63 | ||
64 | print "Run 'make voice'\n" if($verbose); | 64 | print "Run 'make voice'\n" if($verbose); |
65 | print `make voice 2>/dev/null`; | 65 | print `make voice VERSION=$version 2>/dev/null`; |
66 | } | 66 | } |
67 | 67 | ||
68 | # run make in tools first to make sure they're up-to-date | 68 | # run make in tools first to make sure they're up-to-date |