Fix error when $PATH contains whitespaces

Previously, if $PATH contains whitespaces the startup script would split
the new exported $PATH on the first whitespace. This was observed on an
Ubuntu system where $PATH contained a directory with whitespaces.

The change adds weak quotation around the new path to prevent expansion
of whitespaces. $PATH though, is still expanded.

diff --git a/tools/linux_packaging/build b/tools/linux_packaging/build
index 830b4d2ef725f4c8b939ac6ed703291b529e210f..59294a26dec8eb9378110be0bda4466205713d8a 100755 (executable)
--- a/tools/linux_packaging/build
+++ b/tools/linux_packaging/build
@@ -252,7 +252,7 @@ fi
 # jack in the places where it might be
 #
 
-echo export 'PATH=/usr/local/bin:/opt/bin:$PATH' >> $ENVIRONMENT
+echo export 'PATH="/usr/local/bin:/opt/bin:$PATH"' >> $ENVIRONMENT
 
 # create startup helper script
 if test -d $BUILD_ROOT/vst; then