From 7d54956ba2d2e96cec56d9ec880afb0497dd1abe Mon Sep 17 00:00:00 2001 From: Giacomo Tesio Date: Thu, 19 Jan 2017 22:44:33 +0100 Subject: [PATCH] make runDisk.sh and runOver9P.sh uniform --- runDisk.sh | 19 +++++++------------ runOver9P.sh | 23 ++++++++++++----------- 2 files changed, 19 insertions(+), 23 deletions(-) diff --git a/runDisk.sh b/runDisk.sh index e5a5f0c..4db4504 100755 --- a/runDisk.sh +++ b/runDisk.sh @@ -27,9 +27,6 @@ if [ "$1" = "" ]; then echo No disk image provided: usage: $0 path/to/disk exit 1 fi - else - echo No disk image provided: usage: $0 path/to/disk - exit 1 fi else export DISK="$1" @@ -46,10 +43,14 @@ esac #bootDisk="-device ahci,id=ahci -drive id=boot,file=$DISK,index=0,cache=writeback,if=none -device ide-drive,drive=boot,bus=ahci.0" bootDisk="-global ide-drive.physical_block_size=4096 -drive file=$DISK,if=ide,index=0,media=disk" +if [ "$NCPU" = "" ]; then + NCPU=2 +fi + cd $JEHANNE/arch/$ARCH/kern/ read -r cmd <