restartsession.sh tweak

This commit is contained in:
Francesco Mazzoli
2023-07-20 18:42:54 +01:00
committed by GitHub Enterprise
parent faa1d9a44c
commit 59728b1348

View File

@@ -34,7 +34,7 @@ done
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
cd $SCRIPT_DIR
make KDIR=$SCRIPT_DIR/linux-5.4.237 -j kmod
make KDIR=$SCRIPT_DIR/linux -j kmod
pkill qemu || true
tmux kill-session -t uovo || true
@@ -82,4 +82,4 @@ tmux attach-session -t uovo:1
# sudo sh -c 'echo eggsfs_fetch_stripe >> /sys/kernel/debug/tracing/set_event'
# sudo sysctl fs.eggsfs.debug=1
# ./eggs/eggstests -verbose -kmod -filter 'mounted' -cfg fsTest.checkThreads=1 -cfg fsTest.numDirs=1 -cfg fsTest.numFiles=10 -short -binaries-dir $(pwd)/eggs
# ./eggs/eggstests -verbose -kmod -filter 'mounted' -cfg fsTest.checkThreads=1 -cfg fsTest.numDirs=1 -cfg fsTest.numFiles=10 -short -binaries-dir $(pwd)/eggs