Module: ppl/w3ppl Branch: master Commit: d8ca74504b43e5244795ffe866dd3c839eb589c1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=d8ca74504b4... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Feb 21 12:06:36 2011 +0100 Make sure the Java SDK is found on the machine used for producing the releases. --- bin/ppl_release | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/bin/ppl_release b/bin/ppl_release index 9289f54..5e5d0e4 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -163,7 +163,7 @@ EOF # Build the autoconf/automake machinery. autoreconf - ./configure + ./configure --with-java=/usr/lib/jvm/java-6-openjdk } # Build the source tarfiles for the release.