diff options
Diffstat (limited to 'build_w32.bat')
| -rw-r--r-- | build_w32.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build_w32.bat b/build_w32.bat index 968ceae..36aeea3 100644 --- a/build_w32.bat +++ b/build_w32.bat @@ -15,11 +15,11 @@ rem rem You should have received a copy of the GNU General Public License along
rem with this program. If not, see <http://www.gnu.org/licenses/>.
-if exist config.h.W32 GoTo NotCVS
+if exist config.h.W32 GoTo NotSCM
sed -n "s/^AC_INIT(\[GNU make\],\[\([^]]\+\)\].*/s,%%VERSION%%,\1,g/p" configure.in > config.h.W32.sed
echo s,%%PACKAGE%%,make,g >> config.h.W32.sed
sed -f config.h.W32.sed config.h.W32.template > config.h.W32
-:NotCVS
+:NotSCM
if not exist config.h copy config.h.W32 config.h
rem Guile configuration
|