Rombobjörn

summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorBjörn Persson <Bjorn@Rombobjörn.se>2016-02-20 23:31:07 +0100
committerBjörn Persson <Bjorn@Rombobjörn.se>2016-02-20 23:31:07 +0100
commit3ac552858d7d4564f20c743633f072a7917e9531 (patch)
treeef9e7cb72ffba0e3cff7695258632e61d0e8748c /INSTALL
parent951821861bd9b0b474b0c8d4ae667cc21efb0f55 (diff)
Updated Comfignat to version 1.5.HEADmaster
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL8
1 files changed, 4 insertions, 4 deletions
diff --git a/INSTALL b/INSTALL
index 10a7c94..aa257d7 100644
--- a/INSTALL
+++ b/INSTALL
@@ -137,12 +137,12 @@ thread wrapper is disabled by default. To enable it, set the variable
wrap_threads to "true" on the Make or Gnatprep command line.
-Build Tools and Options
------------------------
+Build Tools and their Arguments
+-------------------------------
The following variables, which may be set in the environment or on the Make
command line, control which programs are invoked to do the build and which
-options are passed to them:
+arguments are passed to them:
GNATPREP
The command for invoking Gnatprep, in case you want to use a nondefault
@@ -189,7 +189,7 @@ options are passed to them:
Copyright of This File
----------------------
-Copyright 2013 B. Persson, Bjorn@Rombobeorn.se
+Copyright 2013 - 2016 B. Persson, Bjorn@Rombobeorn.se
This material is provided as is, with absolutely no warranty expressed
or implied. Any use is at your own risk.