diff --git a/build.sh b/build.sh index 84a7478bfa5..1dfb5c398c5 100755 --- a/build.sh +++ b/build.sh @@ -13,4 +13,4 @@ while [[ -h $source ]]; do done scriptroot="$( cd -P "$( dirname "$source" )" && pwd )" -"$scriptroot/eng/common/build.sh" --restore --build $@ +"$scriptroot/eng/common/build.sh" --restore --build "$@"