build/world.sh

   1 #!/bin/sh
   2 # $Id$
   3 cd `dirname $0`
   4 set -ex
   5 ./mkconfig.sh
   6 ./mkmyocamlbuild_config.sh
   7 . ../config/config.sh
   8 if [ "x$EXE" = "x.exe" ]; then
   9   ./boot-c-parts-windows.sh
  10 else
  11   ./boot-c-parts.sh
  12 fi
  13 ./boot.sh $@
  14 ./world.all.sh $@