From ac50854f1a932682294090f3c08188bea9d80329 Mon Sep 17 00:00:00 2001 From: Niki Roo 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 ef0b9261..e44b5d52 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