Fix config.sh (actually, Makefile.base)

diff --git a/Makefile.base b/Makefile.base
index ef0b92616fcb8a1c2b0c118bea06c326b7219e4a..e44b5d52cd5a6d09e2a6c2cad323f4aa92f24a39 100644 (file)
--- a/Makefile.base
+++ b/Makefile.base
@@ -109,8 +109,10 @@ test-resources: resources
 libs: bin
        @[ -e bin/libs -o ! -d libs ] || echo Extracting sources from libs...
        @[ -e bin/libs -o ! -d libs ] || (cd src && for lib in ../libs/*-sources.jar ../libs/*-sources.patch.jar; do \
-               basename "$$lib"; \
-               jar xf "$$lib"; \
+               if [ "$$lib" != '../libs/*-sources.jar' -a "$$lib" != '../libs/*-sources.patch.jar' ]; then \
+                       basename "$$lib"; \
+                       jar xf "$$lib"; \
+               fi \
        done )
        @[ ! -d libs ] || touch bin/libs