From 3f780612d9216388d681dc608214fb6e22d6b54c Mon Sep 17 00:00:00 2001
From: Joel Rosdahl <joel@rosdahl.net>
Date: Mon, 23 Aug 2010 07:56:52 +0200
Subject: [PATCH] test: Check that compiler is actually able to use precompiled
 headers

---
 test.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test.sh b/test.sh
index 94d5cf8a1..a860da7cf 100755
--- a/test.sh
+++ b/test.sh
@@ -1604,10 +1604,10 @@ EOF
     cat <<EOF >pch.h
 #include <stdlib.h>
 EOF
-    if $COMPILER -fpch-preprocess pch.h 2>/dev/null; then
+    if $COMPILER -fpch-preprocess pch.h 2>/dev/null && [ -f pch.h.gch ] && $COMPILER pch.c -o pch; then
         :
     else
-        echo "Compiler ($COMPILER) doesn't support precompiled headers -- not running pch test"
+        echo "Compiler (`$COMPILER --version | head -1`) doesn't support precompiled headers -- not running pch test"
         return
     fi
 
-- 
2.47.3