diff options
| author | Björn Persson <bjorn@rombobjörn.se> | 2013-10-22 09:13:59 +0200 |
|---|---|---|
| committer | Björn Persson <bjorn@rombobjörn.se> | 2013-10-22 09:13:59 +0200 |
| commit | 56d4a112765ccd469307840cef2306be1b7d6a6e (patch) | |
| tree | 6557bbaffc39b832b42770533eaabcf322b12761 | |
| parent | 673d971de175a4895b7f010b738294d3a40dc0d7 (diff) | |
comment correction
| -rw-r--r-- | comfignat.mk | 3 |
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. |