From 1ce2b81cb707484896efaa08c903bb563fbf5f0b Mon Sep 17 00:00:00 2001 From: Niki Roo Date: Sun, 18 Mar 2018 11:42:47 +0100 Subject: [PATCH] export.sh fix to use the new sjar command --- export.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/export.sh b/export.sh index 0cff17bf..c99ae22b 100755 --- a/export.sh +++ b/export.sh @@ -3,6 +3,7 @@ # Export script # # Version: +# - 1.1.1: use the new sjar command to make sources # - 1.1.0: allow multiple targets # - 1.0.0: add a version comment @@ -17,7 +18,7 @@ LIBNAME="`cat configure.sh | grep '^echo "NAME = ' | cut -d'"' -f2 | cut -d= -f2 LIBNAME="`echo $LIBNAME`" make mrpropre -./configure.sh && make +./configure.sh && make && make sjar if [ $? = 0 ]; then while [ "$1" != "" ]; do mkdir -p "$1"/libs/ -- 2.27.0