Add benchmark for Linux user-space

[jailhouse-test.git] / jailhouse-install.sh

diff --git a/jailhouse-install.sh b/jailhouse-install.sh
index 852820f364e1d0eeaac7ed79b5c57a21c05d0905..8ef8c6faf5849f1d888a2a888ab301e19c9520a6 100755 (executable)
--- a/jailhouse-install.sh
+++ b/jailhouse-install.sh
@@ -1,20 +1,16 @@
 #!/bin/bash
-echo "moving to buildroot folder.."
-cd ./build/buildroot
-make
-echo "done buildroot"
-cd ../../
-echo "moving to jailhouse dir..."
-cd ./jailhouse
-PARENTDIR=$(dirname $PWD)
-KDIR=$PARENTDIR/build/buildroot/build/linux-custom
-DESTDIR=$PARENTDIR/buildroot-overlay 
-export KDIR
-export DESTDIR
-echo "KDIR=$KDIR"
-echo "DESTDIR=$DESTDIR"
-make && make install
-#echo "remake buildroot for overlay updating purpose.."
-#cd ../
-#./buildroot-os/update-inmates-and-overlay.sh
+
+set -x
+set -e
+
+cd $(dirname $0)
+
+make -C ./build/buildroot
+
+make -C jailhouse all install KDIR=$PWD/build/buildroot/build/linux-custom DESTDIR=$PWD/buildroot-overlay 
+
+mkdir -p buildroot-overlay/jailhouse
+mkdir -p buildroot-overlay/jailhouse/inmates
+mkdir -p buildroot-overlay/jailhouse/configs
+
 echo "done!"