diff options
Diffstat (limited to 'testsuite/testenv.sh')
| -rw-r--r-- | testsuite/testenv.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/testsuite/testenv.sh b/testsuite/testenv.sh index 60dc09e..21a681d 100644 --- a/testsuite/testenv.sh +++ b/testsuite/testenv.sh @@ -124,7 +124,13 @@ clean () echo "Remove work library" "$GHDL" --remove $GHDL_STD_FLAGS else - echo "Remove $1 library" - "$GHDL" --remove $GHDL_STD_FLAGS --work=$1 + case "$1" in + --std=*) + echo "Remove work library" + "$GHDL" --remove $1 ;; + *) + echo "Remove $1 library" + "$GHDL" --remove $GHDL_STD_FLAGS --work=$1 ;; + esac fi } |