Skip to content

Commit

Permalink
Merge pull request #496 from proux01/coq_20028
Browse files Browse the repository at this point in the history
Adapt to coq/coq#20028
proux01 authored Jan 12, 2025
2 parents 7bed108 + b3efd5c commit be3bc59
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion Makefile.test-suite.coq.local
Original file line number Diff line number Diff line change
@@ -12,8 +12,9 @@ DIFF=\
$(COQTOP) $(COQFLAGS) $(COQLIBS) -topfile $(1) \
< $(1) 2>&1 \
| sed 's/Coq < *//g' \
| sed 's/Rocq < *//g' \
| grep -v '^$$' \
| grep -v -e "Skipping rcfile" -e "is declared" -e "is defined" -e "Loading ML file" -e "Welcome to Coq" \
| grep -v -e "Skipping rcfile" -e "is declared" -e "is defined" -e "Loading ML file" -e "Welcome to Coq" -e "Welcome to Rocq" \
| sed 's/characters \([0-9]\+\)-[0-9]\+/character \1/' \
> $(1).out.aux;\
diff -u --strip-trailing-cr $(call output_for,$(1)) $(1).out.aux;\

0 comments on commit be3bc59

Please sign in to comment.