diff options
Diffstat (limited to 'comfignat.mk')
| -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. |