diff options
Diffstat (limited to 'update_external_sources.bat')
| -rwxr-xr-x | update_external_sources.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_external_sources.bat b/update_external_sources.bat index c7be2407..029ae9b5 100755 --- a/update_external_sources.bat +++ b/update_external_sources.bat @@ -653,7 +653,7 @@ goto:eof REM Cleanup any old directories lying around.
rmdir /s /q build32
rmdir /s /q build
-
+
echo Making 32-bit spirv-tools
echo *************************
mkdir build32
|