From: Niki Roo <niki@nikiroo.be>
Date: Fri, 30 Jun 2017 16:53:57 +0000 (+0200)
Subject: Fix config.sh (actually, Makefile.base)
X-Git-Url: https://git.nikiroo.be/?a=commitdiff_plain;h=ac50854f1a932682294090f3c08188bea9d80329;p=fanfix-jexer.git

Fix config.sh (actually, Makefile.base)
---

diff --git a/Makefile.base b/Makefile.base
index ef0b926..e44b5d5 100644
--- 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