diff options
Diffstat (limited to 'configure.bat')
| -rw-r--r-- | configure.bat | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/configure.bat b/configure.bat new file mode 100644 index 000000000..46a93d8c9 --- /dev/null +++ b/configure.bat @@ -0,0 +1,20 @@ + +@if "x%1"=="x--help" goto usage + +@set arg=dynamic +@if "x%1"=="x--static" set arg=static + +@echo Configuring for %arg% build... + +erlc configure.erl +erl -s configure -env arg %arg% -noshell + +@goto end + +:usage +@echo Usage: configure.bat +@echo or configure.bat --static +@echo or configure.bat --help + +:end + |