diff options
Diffstat (limited to 'java/eclipse-drjava')
-rw-r--r-- | java/eclipse-drjava/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/java/eclipse-drjava/Makefile b/java/eclipse-drjava/Makefile index 8a20d5d0bec7..16f2236135c3 100644 --- a/java/eclipse-drjava/Makefile +++ b/java/eclipse-drjava/Makefile @@ -19,7 +19,6 @@ NO_BUILD= yes NO_WRKSUBDIR= yes USE_JAVA= yes -JAVA_VERSION= 1.6+ JAVA_OS= native DATADIR= ${PREFIX}/lib/eclipse/plugins |