[lmi-commits] [lmi] master a0472892 6/6: Document $(build_type) in a more general way

[Greg Chicares]

branch: master
commit a0472892308a0512504c467abe84ba5d3e30d88b
Author: Gregory W. Chicares <gchicares@sbcglobal.net>
Commit: Gregory W. Chicares <gchicares@sbcglobal.net>

    Document $(build_type) in a more general way
    
    "Sanitizer" builds are about to be added, so there'll be at least
    another couple of build types.
---
 GNUmakefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/GNUmakefile b/GNUmakefile
index 517b1a20..d664e920 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -187,9 +187,8 @@ $(srcdir)/local_options.make:: ;
 
 # Multiple build directories.
 
-# $(build_type) distinguishes optimized 'ship' builds from 'so_test'
-# and 'safestdlib' builds, which may be created by specifying them on
-# the make command line. Of course, other build types may be defined.
+# $(build_type) distinguishes optimized default 'ship' builds from
+# special-purpose ones that can be specified on the make command line.
 
 build_type ?= ship
 build_dir := $(exec_prefix)/build/$(build_type)