diff options
| -rwxr-xr-x | externals/build-all-libdirs.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/externals/build-all-libdirs.sh b/externals/build-all-libdirs.sh new file mode 100755 index 00000000..b79d97da --- /dev/null +++ b/externals/build-all-libdirs.sh @@ -0,0 +1,13 @@ +#!/bin/sh +# +# this is run by the Jenkins build automation server + +for dir in `find . -name \*-meta.pd | sed -n 's|\(.*\)/[a-zA-Z0-9_-]*-meta\.pd|\1|p' ` +do + (test -e "$dir/Makefile" && echo "Building $dir") || continue + make -C $dir dist + make -C $dir distclean + make -C $dir + mkdir destdir + make -C $dir DESTDIR=destdir objectsdir="" install +done |