Merge duplicated rules

2025-02-10 14:02:57 +00:00 · 2022-06-24 21:47:37 +02:00 · 2022-06-24 21:47:37 +02:00 · 5e6a3be56c
commit 5e6a3be56c
parent f7a3dffc0b
1 changed files with 1 additions and 4 deletions
--- 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