From 0e758f47deba535e53d5caa515df0d3ffafcc4d0 Mon Sep 17 00:00:00 2001
From: Björn Persson <bjorn@rombobjörn.se>
Date: Tue, 22 Oct 2013 09:13:59 +0200
Subject: Added GNATPREPFLAGS for completeness.

---
 INSTALL | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 10e53ff..982d5a7 100644
--- a/INSTALL
+++ b/INSTALL
@@ -233,6 +233,9 @@ options are passed to them:
     The command for invoking the builder, that is GPRbuild or Gnatmake.
     Default: gprbuild
 
+ GNATPREPFLAGS
+    A space-separated list of options to be passed to Gnatprep.
+
  GNATFLAGS
     A space-separated list with all of the optional parameters to be passed to
     the builder, including any options to be forwarded to the compiler, binder
-- 
cgit v1.2.3