diff options
| -rwxr-xr-x | externals/build-all-libdirs.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/externals/build-all-libdirs.sh b/externals/build-all-libdirs.sh index b79d97da..b096cfc4 100755 --- a/externals/build-all-libdirs.sh +++ b/externals/build-all-libdirs.sh @@ -7,7 +7,8 @@ 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 + make -C $dir + rm -rf -- $dir/destdir + mkdir $dir/destdir + make -C $dir DESTDIR=$dir/destdir objectsdir="" install done |