Add specific instructions on removing a primitive.

tmcgilchrist · Feb 28, 2024 · db30ce9 · db30ce9
1 parent b2cd7e5
commit db30ce9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/BOOTSTRAP.adoc b/BOOTSTRAP.adoc
@@ -97,6 +97,9 @@ There are five steps to renaming a primitive:
 It is desirable for bootstraps to be easily repeatable, so you should commit
 changes after step 4.
 
+To remove a primitive, start with a working build of the compiler eg `./configure && make`
+then and only then remove the primitive and repeat steps 4 and 5 above.
+
 = Bootstrap test script
 
 A script is provided (and used on Inria's continuous