externals/grill/flext/build-pd-linux.sh


1
2
3
4
5
6
7
8
9
10
11

#!/bin/sh  

. config-pd-linux.txt

make -f makefile.pd-linux &&
{ 
	if [ $INSTALL = "yes" ]; then
		echo Now install as root
		su -c "make -f makefile.pd-linux install"
	fi
}