diff options
| author | Björn Persson <Bjorn@Rombobjörn.se> | 2016-02-20 23:31:07 +0100 |
|---|---|---|
| committer | Björn Persson <Bjorn@Rombobjörn.se> | 2016-02-20 23:31:07 +0100 |
| commit | 3ac552858d7d4564f20c743633f072a7917e9531 (patch) | |
| tree | ef9e7cb72ffba0e3cff7695258632e61d0e8748c /INSTALL | |
| parent | 951821861bd9b0b474b0c8d4ae667cc21efb0f55 (diff) | |
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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. |