diff options
| author | Peter Foley <pefoley2@verizon.net> | 2011-09-25 17:51:52 -0400 |
|---|---|---|
| committer | Peter Foley <pefoley2@verizon.net> | 2011-09-25 18:15:13 -0400 |
| commit | b18383c1b9a5fc86dae4ca0f722d0a674e9355ed (patch) | |
| tree | e3cd914f8fc8abe6c8509c9c78079127d9e47bd8 | |
| parent | 5ebf2a0b439d35b346dde6837a5f1060a8d05fed (diff) | |
don't echo JAVA_HOME twice
| -rw-r--r-- | configure.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 61a55064c91d..a934071c6181 100644 --- a/configure.in +++ b/configure.in @@ -4068,7 +4068,6 @@ _ACEOF echo "in case JAVA_HOME is incorrectly set, some projects with not be built correctly" >> warn fi fi - AC_MSG_NOTICE([JAVA_HOME=$JAVA_HOME]) fi AWTLIB= |