export.sh fix to use the new sjar command

diff --git a/export.sh b/export.sh
index 0cff17bfe4d73ca520a6b54cfef2867ab25c3d63..c99ae22ba1fdaa99d3ec8eabbf095372712946bc 100755 (executable)
--- 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/