1 files changed, 3 insertions, 0 deletions

diff --git a/configure b/configure
index 780317c..060acb7 100755
--- a/configure
+++ b/configure
@@ -416,6 +416,9 @@ fi
 
 if test $cover -eq 1; then
   CFLAGS="${CFLAGS} -fprofile-arcs -ftest-coverage"
+  if test -n "$GCC_CLASSIC"; then
+    CC=$GCC_CLASSIC
+  fi
 fi
 
 echo >> configure.log