diff --git a/configure b/configure
new file mode 100755
index 0000000000..50d48845c0
--- /dev/null
+++ b/configure
@@ -0,0 +1 @@
+#! /bin/sh