From eae0c82c78ff03f1d31f5632cb0e8ca151eeb977 Mon Sep 17 00:00:00 2001 From: neverchanje Date: Tue, 16 Oct 2018 12:13:47 +0800 Subject: [PATCH] scripts: revert "shift" on some options in run.sh --- run.sh | 4 ---- 1 file changed, 4 deletions(-) diff --git a/run.sh b/run.sh index 13f86f9f44..3ee14c874a 100755 --- a/run.sh +++ b/run.sh @@ -111,19 +111,15 @@ function run_build() --enable_gcov) ENABLE_GCOV=YES BUILD_TYPE="debug" - shift ;; -v|--verbose) RUN_VERBOSE=YES - shift ;; --notest) NO_TEST=YES - shift ;; --disable_gperf) DISABLE_GPERF=YES - shift ;; -m|--test_module) if [ "$ONLY_BUILD" == "YES" ]; then