Skip to content
This repository has been archived by the owner on Jun 23, 2022. It is now read-only.

scripts: revert "shift" on some options in run.sh #176

Merged
merged 1 commit into from
Oct 16, 2018
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 0 additions & 4 deletions run.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down