diff options
| -rw-r--r-- | Makefile.config.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 889fb2a4e1..3b554c25f3 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 |