diff options
Diffstat (limited to 'nt/configure.bat')
-rwxr-xr-x | nt/configure.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/nt/configure.bat b/nt/configure.bat index c6709ef8df5..7d064ab6816 100755 --- a/nt/configure.bat +++ b/nt/configure.bat @@ -463,3 +463,7 @@ set COMPILER= set MAKECMD=
set usercflags=
set userldflags=
+ +goto skipArchTag + arch-tag: 300d20a4-1675-4e75-b615-7ce1a8c5376c +:skipArchTag |