Merge pull request #142 from SkySkimmer/diff-u

Use diff -u in tests

Author: SkySkimmer

.github/workflows/docker-action.yml

@@ -16,15 +16,15 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        image:
-          - 'coqorg/coq:dev'
+        coq_version:
+          - 'dev'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-dpdgraph.opam'
-          custom_image: ${{ matrix.image }}
+          coq_version: ${{ matrix.coq_version }}
           export: 'OPAMWITHTEST'
         env:
           OPAMWITHTEST: 'true'

Makefile.in

@@ -170,8 +170,8 @@ test-suite:
 	if grep DIFFERENCES tmp.log >/dev/null 2>&1 ; then \
 		for i in $$(grep DIFFERENCES tmp.log | grep -o 'diff .*' | sed s'/diff //g' | sed s'/ /~/g'); do \
 			i="$$(echo "$$i" | sed s'/~/ /g')"; \
-			echo diff $$i; \
-			diff $$i; \
+			echo diff -u $$i; \
+			diff -u $$i; \
 		done ; \
 	fi
 	if grep DIFFERENCES tmp.log >/dev/null 2>&1 ; then false ; else true ; fi