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