diff options
Diffstat (limited to 'ejabberd-1.1.2/src/configure.bat')
| -rw-r--r-- | ejabberd-1.1.2/src/configure.bat | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/ejabberd-1.1.2/src/configure.bat b/ejabberd-1.1.2/src/configure.bat deleted file mode 100644 index 46a93d8c9..000000000 --- a/ejabberd-1.1.2/src/configure.bat +++ /dev/null @@ -1,20 +0,0 @@ - -@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 - |