diff --git a/os161-container/helpers.sh b/os161-container/helpers.sh index dee173986484cdb291128f699d835221e9b237ef..b3b6c6df0877e70ffce4bec93b53776bd885dd43 100755 --- a/os161-container/helpers.sh +++ b/os161-container/helpers.sh @@ -24,7 +24,7 @@ build_k_helper() { cd $OS161_DIR mkdir /os-compile 2> /dev/null cp -r /kernel/kern/* $OS161_DIR/kern/ - rm -rf $OS161_DIR/kern/compile 2> /dev/null + rm -rf $OS161_DIR/kern/compile/* 2> /dev/null set -e # Configure - step 1 echo "[CS350] $1 Configuring Kernel..."