From 18edef73cdf0fb6671dbfb2e9d5829182a065919 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 10 Sep 2020 15:06:07 +0200
Subject: Update mathcomp/Makefile.test-suite.coq.local

Co-authored-by: Erik Martin-Dorel <erik@martin-dorel.org>---
 mathcomp/Makefile.test-suite.coq.local | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'mathcomp')

diff --git a/mathcomp/Makefile.test-suite.coq.local b/mathcomp/Makefile.test-suite.coq.local
index 6f9454b..119eff1 100644
--- a/mathcomp/Makefile.test-suite.coq.local
+++ b/mathcomp/Makefile.test-suite.coq.local
@@ -11,8 +11,7 @@ post-all:: $(OUTPUT_ARTIFACTS)
 	  if [ -e $$f.out.$(COQ_VERSION) ]; then REFERENCE=$$f.out.$(COQ_VERSION);\
 	  else REFERENCE=$$f.out; fi;\
 	  if ! diff -q "$$REFERENCE" "$$f.out.new"; \
-	    then echo "Output of file $$f differs!";\
-		diff -u $$REFERENCE $$f.out.new;\
+	    then diff -u "$$REFERENCE" "$$f.out.new"; \
 		exit 1;\
 	  fi;\
 	done
-- 
cgit v1.2.3