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 465bfed..fb8929c 100644 --- a/config/linux-gnulibc1 +++ b/config/linux-gnulibc1 @@ -177,6 +177,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` ;; |