diff options
Diffstat (limited to 'config/pgi-fflags')
| -rw-r--r-- | config/pgi-fflags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/pgi-fflags b/config/pgi-fflags index 6d4553e..ea59c2d 100644 --- a/config/pgi-fflags +++ b/config/pgi-fflags @@ -12,7 +12,7 @@ # f9x_version: Version number: 5.0-2, 5.2-2 # if test X = "X$f9x_flags_set"; then - f9x_version="`$F9X $FFLAGS -V 2>&1 |grep '^pgf90'`" + f9x_version="`$F9X $FFLAGS -V 2>&1 |grep '^pgf90 '`" if test X != "X$f9x_version"; then f9x_vendor=`echo $f9x_version |sed 's/\([a-z0-9]*\).*/\1/'` f9x_version=`echo $f9x_version |sed 's/pgf90 \([-a-z0-9\.\-]*\).*/\1/'` |