Makefile bug.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1441 bbc10eb1-c90d-0410-af57-cb519fbb1720
17 years ago · 77abf16ab8
1 changed files with 0 additions and 2 deletions
--- a/prism/Makefile
+++ b/prism/Makefile
@ -102,8 +102,6 @@ endif
 #JAVA_DIR =	/cygdrive/c/java/j2sdk1.4.2
 #JAVA_DIR =	/System/Library/Frameworks/JavaVM.framework

-JAVA_DIR = /usr/lib/jvm/java-6-sun-1.6.0.14
-
 ##################
 # Compilers etc. #
 ##################