prepare-l4.sh

   1 #!/bin/bash
   2 set -x
   3 #set -e
   4
   5 PROJ_DIR=$(pwd)
   6
   7 cd $PROJ_DIR/l4/kernel/fiasco
   8 make BUILDDIR=$PROJ_DIR/build/l4-obj/kernel
   9
  10 cd $PROJ_DIR/build/l4-obj/kernel
  11 make config
  12 make
  13
  14 cd $PROJ_DIR/l4/l4
  15 L4RE_OBJ_DIR=$PROJ_DIR/build/l4-obj/l4
  16 make B=$L4RE_OBJ_DIR
  17 make O=$L4RE_OBJ_DIR config
  18 make O=$L4RE_OBJ_DIR
  19
  20 echo done!