[minor] Makefile: fix the hard-bootstrap recipe

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Gabriel Scherer 2014-05-08 13:34:46 +00:00
parent bfb5d9e404
commit e34fa841a0
1 changed files with 3 additions and 4 deletions

View File

@ -149,11 +149,10 @@ world.opt:
#
# make coreboot [old system -- you were in a stable state]
# <change the source>
# make core [cross-compiler]
# make partialclean [if you get "inconsistent assumptions"]
# make clean runtime coreall
# <debug your changes>
# make core [cross-compiler]
# make coreboot [new system -- now you are in a stable state]
# make clean runtime coreall
# make coreboot [new system -- now in a stable state]
# Core bootstrapping cycle
coreboot: