search

rems-project / cn-tutorial

8 stars 9 forks source link

Add `make check` target #14

Closed thatplguy closed 3 months ago

thatplguy commented 5 months ago

make check is a common make target, and it's now available to invoke the check.sh script. Both the makefile and script have been updated to support nonlocal invocation, e.g. make -f some/path/cn-tutorial/Makefile check.

septract commented 5 months ago

@thatplguy is this PR still live? Who needs to approve the merge?