blob: 5f13f668561b139599fc2d2ebce060223b7e3612 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
--- bin/_setlib.orig 1970-01-02 00:00:00 UTC
+++ bin/_setlib
@@ -19,19 +19,12 @@ fi
XMLBEANS_HOME=`dirname $0`/..
fi
-XMLBEANS_LIB=
-if ls $XMLBEANS_HOME/build/libs/xmlbeans*.jar 1> /dev/null 2>&1; then
- XMLBEANS_LIB=$XMLBEANS_HOME/build/libs
+if ls %%JAVAJARDIR%%/xmlbeans.jar 1> /dev/null 2>&1; then
+ XMLBEANS_LIB=$XMLBEANS_HOME
fi
-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
- XMLBEANS_LIB=$XMLBEANS_HOME/lib
-fi
echo XMLBEANS_LIB=$XMLBEANS_LIB
if [ -z "$XMLBEANS_LIB" ]; then
- 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
|
