1 files changed, 1 insertions, 0 deletions
diff --git a/makeopts.in b/makeopts.in
index a1f97b875..c1c6ea1a9 100644
--- a/makeopts.in
+++ b/makeopts.in
@@ -12,6 +12,7 @@ AWK=@AWK@
 BISON=@BISON@
 FLEX=@FLEX@
 GREP=@GREP@
+PYTHON=@PYTHON@
 MAKE=@GNU_MAKE@
 AR=@AR@
 RANLIB=@RANLIB@