1 files changed, 5 insertions, 0 deletions
diff --git a/src/configure b/src/configure
new file mode 100755
index 000000000..5ad9c096e
--- /dev/null
+++ b/src/configure
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+erlc configure.erl
+erl -s configure -noshell
+