diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-01-23 17:32:58 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-05-23 10:48:28 +0200 |
commit | 352c23666babc7dd8f0136b02d9ef1893f9bde5c (patch) | |
tree | 10176ebba25fe2044c538c987674c84786d153ca /test-suite/coq-makefile/merlin1/run.sh | |
parent | 4252789c77479b9d4a9ac5a12e9a24067b086040 (diff) |
test suite for coq_makefile2
Diffstat (limited to 'test-suite/coq-makefile/merlin1/run.sh')
-rwxr-xr-x | test-suite/coq-makefile/merlin1/run.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/test-suite/coq-makefile/merlin1/run.sh b/test-suite/coq-makefile/merlin1/run.sh index 3b5d388c9..9b89e5b6e 100755 --- a/test-suite/coq-makefile/merlin1/run.sh +++ b/test-suite/coq-makefile/merlin1/run.sh @@ -3,11 +3,13 @@ #set -x set -e -export PATH=../../../bin/:$PATH -git clean -dfx . +. ../template/init.sh + coq_makefile -f _CoqProject -o Makefile make .merlin -echo B $PWD/src > desired -echo S $PWD/src >> desired +cat > desired <<EOT +B src +S src +EOT tail -2 .merlin > actual exec diff -u desired actual |