From 7f7075d10780fe24c97e329868a501c2af422625 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 17 Jul 2017 10:50:04 +0200
Subject: coq-makefile: make test suite detect more errors

Replacing ; with && and enabling bash's pipefail option
---
 test-suite/coq-makefile/plugin2/run.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'test-suite/coq-makefile/plugin2')

diff --git a/test-suite/coq-makefile/plugin2/run.sh b/test-suite/coq-makefile/plugin2/run.sh
index c2d47166fe..abe715542d 100755
--- a/test-suite/coq-makefile/plugin2/run.sh
+++ b/test-suite/coq-makefile/plugin2/run.sh
@@ -1,8 +1,5 @@
 #!/usr/bin/env bash
 
-#set -x
-set -e
-
 . ../template/init.sh
 
 mv src/test_plugin.mlpack src/test_plugin.mllib
@@ -11,7 +8,7 @@ make
 make html mlihtml
 make install DSTROOT="$PWD/tmp"
 #make debug
-(cd `find tmp -name user-contrib`; find .) | sort > actual
+(cd `find tmp -name user-contrib` && find .) | sort > actual
 sort > desired <<EOT
 .
 ./test
-- 
cgit v1.2.3


From 82b197a87e154d5206d74dfe53f5b5f5215f1a3e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 17 Jul 2017 14:03:35 +0200
Subject: more verbose logs for coq-makefile

---
 test-suite/coq-makefile/plugin2/run.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test-suite/coq-makefile/plugin2')

diff --git a/test-suite/coq-makefile/plugin2/run.sh b/test-suite/coq-makefile/plugin2/run.sh
index abe715542d..5433d9e92d 100755
--- a/test-suite/coq-makefile/plugin2/run.sh
+++ b/test-suite/coq-makefile/plugin2/run.sh
@@ -4,6 +4,7 @@
 
 mv src/test_plugin.mlpack src/test_plugin.mllib
 coq_makefile -f _CoqProject -o Makefile
+cat Makefile.conf
 make
 make html mlihtml
 make install DSTROOT="$PWD/tmp"
-- 
cgit v1.2.3