diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -619,7 +619,7 @@ debug_support := $debug_support mpi_version := $mpi_version # EXE suffix -exe := $exe +EXE := $exe CC := $cc LEX := $lex |