Files

26 lines
869 B
Plaintext
Raw Permalink Normal View History

2025-01-02 16:30:21 +01:00
--- bin/_setlib.orig 1970-01-02 00:00:00 UTC
+++ bin/_setlib
2025-01-02 16:30:21 +01:00
@@ -19,19 +19,12 @@ fi
XMLBEANS_HOME=`dirname $0`/..
fi
-XMLBEANS_LIB=
2023-01-25 22:45:32 +01:00
-if ls $XMLBEANS_HOME/build/libs/xmlbeans*.jar 1> /dev/null 2>&1; then
- XMLBEANS_LIB=$XMLBEANS_HOME/build/libs
2025-01-02 16:30:21 +01:00
+if ls %%JAVAJARDIR%%/xmlbeans.jar 1> /dev/null 2>&1; then
+ XMLBEANS_LIB=$XMLBEANS_HOME
fi
2023-01-25 22:45:32 +01:00
-if ls $XMLBEANS_HOME/build/lib/xmlbeans*.jar 1> /dev/null 2>&1; then
- XMLBEANS_LIB=$XMLBEANS_HOME/build/lib
-fi
-if ls $XMLBEANS_HOME/lib/xmlbeans*.jar 1> /dev/null 2>&1; then
2025-01-02 16:30:21 +01:00
- XMLBEANS_LIB=$XMLBEANS_HOME/lib
-fi
2023-01-25 22:45:32 +01:00
echo XMLBEANS_LIB=$XMLBEANS_LIB
if [ -z "$XMLBEANS_LIB" ]; then
2023-01-25 22:45:32 +01:00
- echo "ERROR: Could not find xmlbeans*.jar, try set XMLBEANS_LIB to the directory containing xmlbeans*.jar"
+ echo "ERROR: Could not find xmlbeans.jar, try set XMLBEANS_LIB to the directory containing xmlbeans.jar"
fi