diff --git a/bisect-gem5-linux-boot b/bisect-gem5-linux-boot index edc61960..e11c5e4a 100755 --- a/bisect-gem5-linux-boot +++ b/bisect-gem5-linux-boot @@ -2,12 +2,12 @@ # https://cirosantilli.com/linux-kernel-module-cheat#bisection set -eu root_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)" -"${root_dir}/build-gem5" --arch aarch64 --gem5-build-id bisect --clean -"${root_dir}/build-gem5" --arch aarch64 --gem5-build-id bisect +"${root_dir}/build-gem5" --arch aarch64 --gem5-worktree bisect --clean +"${root_dir}/build-gem5" --arch aarch64 --gem5-worktree bisect set +e # Setup for quick failures: # https://stackoverflow.com/questions/4713088/how-to-use-git-bisect/22592593#22592593 -timeout 400 "${root_dir}/run" --emulator gem5 --gem5-build-id bisect --quit-after-boot "$@" +timeout 5 "${root_dir}/run" --emulator gem5 --gem5-worktree bisect --quit-after-boot "$@" if [ $? -ne 124 ]; then exit 1 fi