diff options
author | Brian Robbins <brianrob@microsoft.com> | 2018-06-26 18:22:46 -0700 |
---|---|---|
committer | Brian Robbins <brianrob@microsoft.com> | 2018-06-27 11:19:37 -0700 |
commit | b45be1f57aad2197cebed21c025a69ac3fe8ebad (patch) | |
tree | 45a48a8bfee2ab630b00a5f8ab63029f6b353a0d /sync.sh | |
parent | a3885cb5bd3914556bb49c21e7d4107bbedae945 (diff) | |
download | coreclr-b45be1f57aad2197cebed21c025a69ac3fe8ebad.tar.gz coreclr-b45be1f57aad2197cebed21c025a69ac3fe8ebad.tar.bz2 coreclr-b45be1f57aad2197cebed21c025a69ac3fe8ebad.zip |
Fix sync.sh to call run.exe -p even if positional parameters are specified after --.
Diffstat (limited to 'sync.sh')
-rwxr-xr-x | sync.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -13,7 +13,9 @@ working_tree_root="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" unprocessedBuildArgs= # Parse arguments -if [ $# == 0 ]; then +# Assume the default '-p' argument if the only arguments specified are specified after double dash. +# Only position parameters can be specified after the double dash. +if [ $# == 0 ] || [ $1 == '--' ]; then buildArgs="-p" fi |