diff options
Diffstat (limited to 'config/pgi-flags')
| -rw-r--r-- | config/pgi-flags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/pgi-flags b/config/pgi-flags index a845192..ac1ae22 100644 --- a/config/pgi-flags +++ b/config/pgi-flags @@ -12,7 +12,7 @@ # cc_version: Version number: 5.0-2, 5.2-2 # if test X = "X$cc_flags_set"; then - cc_version="`$CC $CFLAGS -V 2>&1 |grep '^pgcc'`" + cc_version="`$CC $CFLAGS -V 2>&1 |grep '^pgcc '`" if test X != "X$cc_version"; then cc_vendor=`echo $cc_version |sed 's/\([a-z]*\).*/\1/'` cc_version=`echo $cc_version |sed 's/pgcc \([-a-z0-9\.\-]*\).*/\1/'` |