diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-05-29 16:21:46 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-05-31 14:35:57 +0200 |
commit | 4a2fa2978ff5ca356836de70b5d1cdd8e8ee02d3 (patch) | |
tree | 9c97a3c8f03fe11e50ea7f97b63d5cd65dfb0999 /HACKING.adoc | |
parent | b2240b9878ac16a29b866cca32552c3b3206528d (diff) | |
download | ocaml-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