Skip to content

Commit

Permalink
Restore 'make test', add 'make check' alias
Browse files Browse the repository at this point in the history
  • Loading branch information
@fingolfin
fingolfin committed Apr 4, 2022
1 parent 85bc746 commit 9fbf093
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion Makefile.am
View file
Original file line number Diff line number Diff line change
Expand Up @@ -67,4 +67,10 @@ clean-local:
doc:
(echo 'Read("makedoc.g");' | $(GAPROOT)/bin/gap.sh -A -q)

.PHONY: doc
check:
(cd examples; make)

test:
(cd examples; make)

.PHONY: check doc test

0 comments on commit 9fbf093

Please sign in to comment.