diff options
Diffstat (limited to 'externals/grill/guitest/build-pd-linux.sh')
| -rw-r--r-- | externals/grill/guitest/build-pd-linux.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/externals/grill/guitest/build-pd-linux.sh b/externals/grill/guitest/build-pd-linux.sh deleted file mode 100644 index 413650f7..00000000 --- a/externals/grill/guitest/build-pd-linux.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -. config-pd-linux.txt - -make -f makefile.pd-linux && -{ - if [ $INSTPATH != "" ]; then - echo Now install as root - su -c "make -f makefile.pd-linux install" - fi -} |