diff deploy/win/build-both.bat @ 346:90169412b1a7

Merge from branch by-id

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/deploy/win/build-both.bat	Thu Jul 18 14:58:51 2019 +0100
@@ -0,0 +1,31 @@
+rem  Run this from within the top-level dir: deploy\win\build-and-package.bat
+
+set STARTPWD=%CD%
+
+if not exist "C:\Program Files (x86)\SMLNJ\bin" (
+@   echo Could not find SML/NJ, required for Repoint
+@   exit /b 2
+)
+
+set ORIGINALPATH=%PATH%
+set PATH=C:\Program Files (x86)\Microsoft SDKs\Windows\v7.1A\Bin;%PATH%
+
+@echo ""
+@echo Rebuilding 32-bit
+
+cd %STARTPWD%
+del /q /s build_win32
+call .\deploy\win\build-32.bat
+if %errorlevel% neq 0 exit /b %errorlevel%
+
+@echo Rebuilding 64-bit
+
+cd %STARTPWD%
+del /q /s build_win64
+call .\deploy\win\build-64.bat
+if %errorlevel% neq 0 exit /b %errorlevel%
+
+set PATH=%ORIGINALPATH%
+
+@echo Done
+