diff options
| author | Georg Holzmann <grholzi@users.sourceforge.net> | 2005-07-12 14:20:39 +0000 |
|---|---|---|
| committer | Georg Holzmann <grholzi@users.sourceforge.net> | 2005-07-12 14:20:39 +0000 |
| commit | fd5998ef963f14817ba0059fcd5bac1eecb55f17 (patch) | |
| tree | dd51bc7c707687013b813ad804d1377e30baa52a /GApop/build-pd-linux.sh | |
| parent | efa45f81b5dcb9609b1e2365a51b7a25a1ba2ce0 (diff) | |
initial commit of GApop
svn path=/trunk/externals/grh/; revision=3318
Diffstat (limited to 'GApop/build-pd-linux.sh')
| -rwxr-xr-x | GApop/build-pd-linux.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/GApop/build-pd-linux.sh b/GApop/build-pd-linux.sh new file mode 100755 index 0000000..77c6e3f --- /dev/null +++ b/GApop/build-pd-linux.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +SYS=pd-linux + +. config-${SYS}.txt + +make -f makefile.${SYS} && +{ + if [ $INSTDIR != "" ]; then + echo Now install as root + su -c "make -f makefile.${SYS} install" + fi + if [ $HELPDIR != "" ]; then + echo Now install help as root + su -c "make -f makefile.${SYS} install-help" + fi +} |