diff options
Diffstat (limited to 'externals/build')
-rwxr-xr-x | externals/build/src/search-doubled-externals.sh | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/externals/build/src/search-doubled-externals.sh b/externals/build/src/search-doubled-externals.sh new file mode 100755 index 00000000..f0b6f361 --- /dev/null +++ b/externals/build/src/search-doubled-externals.sh @@ -0,0 +1,27 @@ +#!/bin/sh +# +# run this script to see doubled externals in the +# libdir and flatspace format +# +# these files can be removed from the flatspace +# +# (Georg Holzmann) + +# all files +FILES=`ls *.c | sed s/"\.c"/"\.p\*"/g` + +# search dir +# (should point to the directory where you build pd-extended) +SEARCH_PATH=../lib/pd/extra + +for FILE in $FILES +do + + # this will also display the path (for debugging): + #find $SEARCH_PATH -name $FILE + + # this will display the files, which can be deleted: + find $SEARCH_PATH -name $FILE | sed -e s/"\.\."/""/g -e s/"\/.*\/"/""/g -e s/"\.pd_linux"/"\.c"/g + +done + |