Permalink
Browse files

[minor] Makefile: fix the hard-bootstrap recipe

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
gasche committed May 8, 2014
1 parent bfb5d9e commit e34fa841a074bc44d28502a030e3de20d93f995e
Showing with 3 additions and 4 deletions.
  1. +3 −4 Makefile
View
@@ -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:

0 comments on commit e34fa84

Please sign in to comment.