From 56d4a112765ccd469307840cef2306be1b7d6a6e Mon Sep 17 00:00:00 2001 From: Björn Persson Date: Tue, 22 Oct 2013 09:13:59 +0200 Subject: comment correction --- comfignat.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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. -- cgit v1.2.3