From 9c0273f878d70d166229c59c290394f27ecf5e7f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 20 May 2014 10:40:20 +0000 Subject: [PATCH] Assume Java 7 not 6 when building binaries now. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8236 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index e682bfa6..37a44a1e 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -413,7 +413,7 @@ add_rev: dist_src: dist_check_version dist_copy clean_all dist_tidy -dist_bin: JFLAGS += -source 1.6 -target 1.6 +dist_bin: JFLAGS += -source 1.7 -target 1.7 dist_bin: dist_check_version all binary dist_tidy dist_bin_copy dist_check_version: