diff options
| -rw-r--r-- | mk/build.mk.sample | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/mk/build.mk.sample b/mk/build.mk.sample index 0d10ae8121..5196a65fa4 100644 --- a/mk/build.mk.sample +++ b/mk/build.mk.sample @@ -134,6 +134,15 @@ BUILD_DOCBOOK_HTML = NO BUILD_DOCBOOK_PS = NO BUILD_DOCBOOK_PDF = NO +# After stage 1 and the libraries have been built, you can uncomment this line: + +# stage=2 + +# Then stage 1 will not be touched by the build system, until +# you uncomment the line again. This is a useful trick for when you're +# working on stage 2 and want to freeze stage 1 and the libraries for +# a while. + endif # -------- A Unregisterised build) ------------------------------------------- |