make/jprt.properties
Thu, 29 Oct 2015 17:14:34 +0100 erikj 8140591: Add configure argument specifying make executable in JPRT
Sun, 01 Nov 2015 09:55:18 -0800 iris Merge
Tue, 20 Oct 2015 08:24:24 -0700 prr Merge
Fri, 02 Oct 2015 17:33:42 +0200 erikj 8138739: Enable devkit on macosx in JPRT (again)
Tue, 20 Oct 2015 09:47:56 +0200 erikj 8139735: Switch compilers in JPRT for windows and linux
Wed, 21 Oct 2015 10:57:08 -0700 amurillo 8140191: Unable to build the verona stage repo with JPRT
Mon, 03 Aug 2015 09:24:32 -0700 iris Merge
less more (0) -30 -10 -7 tip