diff scripts/build_pd_heavy.sh @ 439:e49ae69acbe8 prerelease

Rebuilt run_pd_libpd.sh. Minor fixes, adjusted verbosity
author Giulio Moro <giuliomoro@yahoo.it>
date Sat, 18 Jun 2016 04:19:17 +0100
parents cfd1f896cc6f
children 6462d0cc8906
line wrap: on
line diff
--- a/scripts/build_pd_heavy.sh	Sat Jun 18 02:25:48 2016 +0100
+++ b/scripts/build_pd_heavy.sh	Sat Jun 18 04:19:17 2016 +0100
@@ -93,7 +93,7 @@
     shift
 done
 
-if [ -z $release ]
+if [ -z "$release" ]
 then 
   RELEASE_STRING=
 else