diff options
| -rwxr-xr-x | tools/run-libcore-tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/run-libcore-tests.sh b/tools/run-libcore-tests.sh index 5f49bbea3a..4c39445d4b 100755 --- a/tools/run-libcore-tests.sh +++ b/tools/run-libcore-tests.sh @@ -168,6 +168,8 @@ while true; do gcstress=true shift elif [[ "$1" == "--no-getrandom" ]]; then + # Remove the option from Vogar arguments. + vogar_args=${vogar_args/$1} getrandom=false shift elif [[ "$1" == "" ]]; then |