diff options
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 |