1 files changed, 13 insertions, 0 deletions
diff --git a/build/world.sh b/build/world.sh
new file mode 100755
index 0000000000..8c576c7d3f
--- /dev/null
+++ b/build/world.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+cd `dirname $0`
+set -ex
+./mkconfig.sh
+./mkmyocamlbuild_config.sh
+source ../config/config.sh
+if [ "x$EXE" = "x.exe" ]; then
+  ./boot-c-parts-windows.sh
+else
+  ./boot-c-parts.sh
+fi
+./boot.sh $@
+./world.all.sh $@