summaryrefslogtreecommitdiff
path: root/HACKING.adoc
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2018-05-29 16:21:46 +0200
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2018-05-31 14:35:57 +0200
commit4a2fa2978ff5ca356836de70b5d1cdd8e8ee02d3 (patch)
tree9c97a3c8f03fe11e50ea7f97b63d5cd65dfb0999 /HACKING.adoc
parentb2240b9878ac16a29b866cca32552c3b3206528d (diff)
downloadocaml-4a2fa2978ff5ca356836de70b5d1cdd8e8ee02d3.tar.gz
Root Makefile enhancements
This commit contains the following fixes and enhancements to the root Makefile: * coreall: add dependency on runtime * all: before this commit, this target was depending on runtime and started by making coreall. This commit simplifies this and just makes this target depend on coreall, which is both simpler and semantically more accurate. * compare: let this target exit if the comparison fails * bootstrap: this commit removes the final invocation to make compare. The comparison was actually done twice, (1) as the final step of coreboot and (2) as the final step of bootstrap. The motivation for that was to ensure that the comparison messages were not lost and did appear last. Actually, it turns out that if the comparison fails, it makes no sense to continue the bootstrap process. That's why compare now exits immediately when it fails and there is thus no need to perform it twice. * Get rid of backup and restore targets which have become obsolete with the use of a revision control system
Diffstat (limited to 'HACKING.adoc')
0 files changed, 0 insertions, 0 deletions