1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/Configure b/scripts/Configure
new file mode 100755
index 0000000..6c340ee
--- /dev/null
+++ b/scripts/Configure
@@ -0,0 +1,10 @@
+#! /bin/sh -e
+
+# A script to be called to run all the other configuring scripts manually.
+
+scripts/Configure-Makefile
+scripts/Configure-os.h
+scripts/Configure-os.c
+scripts/Configure-config.h
+
+# End of Configure