diff options
| author | Mikhail Teterin <mi@FreeBSD.org> | 2003-06-24 20:34:03 +0000 |
|---|---|---|
| committer | Mikhail Teterin <mi@FreeBSD.org> | 2003-06-24 20:34:03 +0000 |
| commit | 61c93d2ba20ece493bc383df526c212ed4b622d7 (patch) | |
| tree | 190f3e82f5e710d7c9cb84f205d9ae0e3c5e082f /java/jode/files/patch-configure | |
| parent | Update FreeBSD Update to version 1.3 (diff) | |
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.
Diffstat (limited to '')
| -rw-r--r-- | java/jode/files/patch-configure | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/java/jode/files/patch-configure b/java/jode/files/patch-configure new file mode 100644 index 000000000000..eb4283bddc17 --- /dev/null +++ b/java/jode/files/patch-configure @@ -0,0 +1,16 @@ +--- 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 |