ports/java/jode/files/patch-configure
Mikhail Teterin 61c93d2ba2 DE is a java package containing a decompiler and an optimizer for
java. Can be used from command line or through the Swing-based GUI.
2003-06-24 20:34:03 +00:00

16 lines
698 B
Text

--- configure Sun Aug 12 16:34:31 2001
+++ configure Tue Jun 24 13:33:58 2003
@@ -1125,5 +1125,5 @@
withval="$with_java"
- if test ${withval} != "" || test ${withval} != "yes" || test ${withval} != "no"; then
+ if test -n "${withval}" -a "${withval}" != "yes" -a "${withval}" != "no"; then
# set javac to user input value
@@ -1730,5 +1730,5 @@
{ echo "configure: error: You must only give one option --with-javac or --with-jikes" 1>&2; exit 1; }
fi
- if test ${withval} != "" || test ${withval} != "yes" || test ${withval} != "no"; then
+ if test -n "${withval}" -a "${withval}" != "yes" -a "${withval}" != "no"; then
for ac_file in ${withval}
do