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: