Index: src/scripts/run_tests.sh |
diff --git a/src/scripts/run_tests.sh b/src/scripts/run_tests.sh |
index d9bd0d791ef2c6ea6dff0ddb87341367df9b8e79..7bd5c22b1c3a4ca23dd57c22fc116e2e42676268 100755 |
--- a/src/scripts/run_tests.sh |
+++ b/src/scripts/run_tests.sh |
@@ -9,7 +9,7 @@ |
. "$(dirname "$0")/common.sh" |
# Script must be run inside the chroot |
-assert_inside_chroot |
+restart_in_chroot_if_needed $* |
get_default_board |
# Flags |