diff --git a/build.sh b/build.sh index 2c9737f7f..2177e91b7 100755 --- a/build.sh +++ b/build.sh @@ -44,6 +44,8 @@ done # $args array may have empty elements in it. # The easiest way to remove them is to cast to string and back to array. +# This will actually break quoted arguments, arguments like +# -test "hello world" will be broken into three arguments instead of two, as it should. temp="${args[@]}" args=($temp) diff --git a/run-build.sh b/run-build.sh index 7d004e534..623e339af 100755 --- a/run-build.sh +++ b/run-build.sh @@ -75,6 +75,8 @@ done # $args array may have empty elements in it. # The easiest way to remove them is to cast to string and back to array. +# This will actually break quoted arguments, arguments like +# -test "hello world" will be broken into three arguments instead of two, as it should. temp="${args[@]}" args=($temp)