diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2012-05-04 13:33:56 +0000 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2012-05-04 13:33:56 +0000 |
commit | b5e09f2c5bb434247467a32b9f28875bcbe18360 (patch) | |
tree | 787d3f444a05de19c2094401611f36cfc87ca364 /tools | |
parent | 916717086acedbdf40f44316996099ee6bf39bbc (diff) |
--space fixup
git-svn-id: svn://localhost/ardour2/branches/2.0-ongoing@12184 d708f5d6-7413-0410-9779-e7cbd77b26cf
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/build-ardour-stack | 2 | ||||
-rwxr-xr-x | tools/build-gtk-stack | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/build-ardour-stack b/tools/build-ardour-stack index 0c5d969360..122e28fa68 100755 --- a/tools/build-ardour-stack +++ b/tools/build-ardour-stack @@ -36,7 +36,7 @@ while [ $# -gt 0 ] ; do done -if [ $clean -o $makespace ] ; then +if [ x$clean != x -o x$makespace != x ] ; then if [ ! -d LRDF ] ; then echo "This doesn't appear to be your source directory. Don't run --clean or --space here." exit 1 diff --git a/tools/build-gtk-stack b/tools/build-gtk-stack index 2263d1c862..21bd9ccb5e 100755 --- a/tools/build-gtk-stack +++ b/tools/build-gtk-stack @@ -45,7 +45,7 @@ while [ $# -gt 0 ] ; do esac done -if [ $clean -o $makespace ] ; then +if [ x$clean != x -o x$makespace != x ] ; then if [ ! -d gtk+ ] ; then echo "This doesn't appear to be your source directory. Don't run --clean or --space here." exit 1 |