diff options
author | arehbein <arehbein@sysmocom.de> | 2022-12-01 17:23:29 +0100 |
---|---|---|
committer | arehbein <arehbein@sysmocom.de> | 2023-09-26 23:27:16 +0200 |
commit | 6336ce15df3136dbbd5b1c576a3425bf63ea31ae (patch) | |
tree | 28fdf8ae218e817ca54c9bcdf16d6e75446a889e | |
parent | 650a6ff232b02ca9c7c760922f1518d4e49eb433 (diff) |
scripts/docker-playground_adapt: Fix grepping for string including dash
Change-Id: Ia8d7523b84b84e5eb0b7d92e71f60ad483bbf454
-rwxr-xr-x | scripts/docker-playground_adapt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/docker-playground_adapt b/scripts/docker-playground_adapt index e913e4e..f4a5ee9 100755 --- a/scripts/docker-playground_adapt +++ b/scripts/docker-playground_adapt @@ -103,7 +103,7 @@ while [ "$1" != "" ]; do shift # Loop through testcases until none given or until next option comes TESTCASES="$2" - while [ -n "$3" ] && ! echo "$3" | grep -q "^-.*"; do + while [ -n "$3" ] && ! printf "%s\n" "$3" | grep -q -- '^-.*'; do shift TESTCASES="$TESTCASES $2" done |