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


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/bin/sh  

. config-pd-linux.txt

make -f makefile.pd-linux &&
{ 
	echo Will now install flext to ${INSTDIR}
	
	if [ ${INSTDIR} != "" ]; then
		echo Now install as root
		su -c "make -f makefile.pd-linux install"
	fi
}