diff options
| author | Dana Robinson <derobins@hdfgroup.org> | 2019-07-10 20:40:09 (GMT) |
|---|---|---|
| committer | Dana Robinson <derobins@hdfgroup.org> | 2019-07-10 20:40:09 (GMT) |
| commit | 3fa1cc47008998f2b6d69276724cdb67b4103596 (patch) | |
| tree | ae63cf95048d074a7ebaaa217c1ab4303e9801a7 /config/gnu-flags | |
| parent | 40b63bffb7268f363ed7172916350d1b9a73fca8 (diff) | |
| download | hdf5-3fa1cc47008998f2b6d69276724cdb67b4103596.zip hdf5-3fa1cc47008998f2b6d69276724cdb67b4103596.tar.gz hdf5-3fa1cc47008998f2b6d69276724cdb67b4103596.tar.bz2 | |
Fix errant quotes
Diffstat (limited to 'config/gnu-flags')
| -rw-r--r-- | config/gnu-flags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index 4407865..c8fd724 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -139,7 +139,7 @@ if test "X-gcc" = "X-$cc_vendor"; then # Optimization # ################ - if test "$cc_vers_major" -le 4; then + if test $cc_vers_major -le 4; then HIGH_OPT_CFLAGS="-O3" DEBUG_OPT_CFLAGS= else |