1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile.in b/Makefile.in
index f2752fd40..c2c62a270 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -19,6 +19,7 @@ build=@build@
 srcdir=@srcdir@
 abs_srcdir=@abs_srcdir@
 GNATMAKE=@GNATMAKE@
+ADA_FLAGS=@ADA_FLAGS@
 MAKE=@MAKE@
 prefix=@prefix@
 backend=@backend@