# HG changeset patch # User Giulio Moro # Date 1455035164 0 # Node ID 1721296e3e71a0ad0825f59db18ac7fa1f0eb252 # Parent 301dceb39ec84c5340f9219f55e559bacf476577 Fixed printed text diff -r 301dceb39ec8 -r 1721296e3e71 scripts/build_pd.sh --- a/scripts/build_pd.sh Mon Feb 08 23:25:18 2016 +0000 +++ b/scripts/build_pd.sh Tue Feb 09 16:26:04 2016 +0000 @@ -87,7 +87,7 @@ function hasNotChanged(){ if [ $WATCH -eq 0 ]; then - echo "Files in the source folder changed since the last build, use --force to force recompiling"; + echo "Files in the source folder did not change since the last build, use --force to force recompiling"; exit 0; fi; }