From 3fa1cc47008998f2b6d69276724cdb67b4103596 Mon Sep 17 00:00:00 2001
From: Dana Robinson <derobins@hdfgroup.org>
Date: Wed, 10 Jul 2019 13:40:09 -0700
Subject: Fix errant quotes

---
 config/gnu-flags | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v0.12