diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/linux-gnulibc1 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/linux-gnulibc1 b/config/linux-gnulibc1 index 967cb4e..1b4785e 100644 --- a/config/linux-gnulibc1 +++ b/config/linux-gnulibc1 @@ -200,6 +200,7 @@ case $FC in *mpif90*) fc_version_info=`$FC $FCFLAGS $H5_FCFLAGS -v 2>&1 | grep 'version' |\ sed 's/^[a-z0-9]* for //' |\ + sed 's/\"/\\\"/g' |\ sed 's/^\([a-z]* \)/ built with \1/1'` fc_version_info=`echo $fc_version_info` ;; |