1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile.in b/Makefile.in
index a0e447d04..d2e1463ff 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -21,6 +21,7 @@ build=@build@
 srcdir=@srcdir@
 abs_srcdir=@abs_srcdir@
 GNATMAKE=@GNATMAKE@
+MAKE=@MAKE@
 prefix=@prefix@
 backend=@backend@
 libdirsuffix=@libdirsuffix@