diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2022-06-24 21:47:37 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2022-06-24 21:47:37 +0200 |
| commit | 5e6a3be56c60935e31dc71a93e7166ea4d427a82 (patch) | |
| tree | 996fe8cd2012d1e278720739f1310455614d46cc | |
| parent | f7a3dffc0b755c7e4791656238bb862c118747cb (diff) | |
| download | rust-5e6a3be56c60935e31dc71a93e7166ea4d427a82.tar.gz rust-5e6a3be56c60935e31dc71a93e7166ea4d427a82.zip | |
Merge duplicated rules
| -rwxr-xr-x | test.sh | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/test.sh b/test.sh index 8b390f95a4b..9e69d14c062 100755 --- a/test.sh +++ b/test.sh @@ -24,6 +24,7 @@ while [[ $# -gt 0 ]]; do case $1 in --release) codegen_channel=release + channel="release" shift ;; --release-sysroot) @@ -40,10 +41,6 @@ while [[ $# -gt 0 ]]; do flags="$flags --features $1" shift ;; - --release) - channel="release" - shift - ;; "--test-rustc") func=test_rustc shift |