From: Maxim Baryshnikov Date: Fri, 8 Apr 2016 00:33:49 +0000 (+0200) Subject: fiasco: add a script to setup builddir into build/l4-obj X-Git-Url: http://rtime.felk.cvut.cz/gitweb/jailhouse-test.git/commitdiff_plain/d7aad6734bd3a4f15b46ae18b056d5d12d5fcdb9 fiasco: add a script to setup builddir into build/l4-obj --- diff --git a/prepare-l4.sh b/prepare-l4.sh new file mode 100755 index 0000000..6d28f89 --- /dev/null +++ b/prepare-l4.sh @@ -0,0 +1,20 @@ +#!/bin/bash +set -x +#set -e + +PROJ_DIR=$(pwd) + +cd $PROJ_DIR/l4/kernel/fiasco +make BUILDDIR=$PROJ_DIR/build/l4-obj/kernel + +cd $PROJ_DIR/build/l4-obj/kernel +make config +make + +cd $PROJ_DIR/l4/l4 +L4RE_OBJ_DIR=$PROJ_DIR/build/l4-obj/l4 +make B=$L4RE_OBJ_DIR +make O=$L4RE_OBJ_DIR config +make O=$L4RE_OBJ_DIR + +echo done!