Rombobjörn

summaryrefslogtreecommitdiff
path: root/comfignat.mk
diff options
context:
space:
mode:
authorBjörn Persson <bjorn@rombobjörn.se>2013-10-22 09:13:59 +0200
committerBjörn Persson <bjorn@rombobjörn.se>2013-10-22 09:13:59 +0200
commit56d4a112765ccd469307840cef2306be1b7d6a6e (patch)
tree6557bbaffc39b832b42770533eaabcf322b12761 /comfignat.mk
parent673d971de175a4895b7f010b738294d3a40dc0d7 (diff)
comment correction
Diffstat (limited to 'comfignat.mk')
-rw-r--r--comfignat.mk3
1 files changed, 2 insertions, 1 deletions
diff --git a/comfignat.mk b/comfignat.mk
index 42dc5d8..df2f654 100644
--- a/comfignat.mk
+++ b/comfignat.mk
@@ -219,7 +219,8 @@ ifneq (${origin options},file)
options =
endif
# options may be assigned a list of variable names. Those variables may be
-# overridden on the command line, and will be defined as Gnatprep symbols.
+# overridden on the command line, and will be defined as Gnatprep symbols and
+# as external variables for build projects.
# Their values must be "true" or "false".
# The containing makefile should assign a default value to each variable unless
# it shall be mandatory to always set the option on the command line.