diff --git a/prism/Makefile b/prism/Makefile index 4a852386..9a045282 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -438,7 +438,7 @@ add_rev: dist_src: dist_check_version dist_copy clean_all dist_tidy -dist_bin: JFLAGS += -source 1.7 -target 1.7 +dist_bin: JFLAGS += -source 1.8 -target 1.8 dist_bin: dist_check_version all binary dist_tidy dist_bin_copy dist_check_version: