diff --git a/Makefile.config.in b/Makefile.config.in
index 889fb2a4e1e..3b554c25f39 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -133,6 +133,9 @@ PAPIDIR := @PAPIDIR@
 # Shared library extension for this platform.
 SHLIBEXT = @SHLIBEXT@
 
+# Executable file extension for this platform.
+EXEEXT = @EXEEXT@
+
 ###########################################################################
 # Directory Configuration
 #	This section of the Makefile determines what is where.  To be