From ac50854f1a932682294090f3c08188bea9d80329 Mon Sep 17 00:00:00 2001
From: Niki Roo <niki@nikiroo.be>
Date: Fri, 30 Jun 2017 18:53:57 +0200
Subject: [PATCH] Fix config.sh (actually, Makefile.base)

---
 Makefile.base | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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
 
-- 
2.27.0