make/devkit/Makefile
Fri, 09 Feb 2018 13:58:40 -0800 erikj 8196998: Create devkit for Linux with gcc 7.3
Mon, 25 Sep 2017 10:32:00 +0200 ihse 8187544: Replace BUILD_OUTPUT and OUTPUT_ROOT with OUTPUTDIR
Tue, 24 Nov 2015 11:25:16 +0100 erikj 8143236: Update devkit creation makefiles for linux
Fri, 28 Mar 2014 14:59:56 +0100 erikj 8038340: Cleanup and fix sysroot and devkit handling on Linux and Solaris
Thu, 14 Nov 2013 10:53:23 +0100 ihse 8027566: Remove the old build system
less more (0) tip