move check rule into src/

This commit is contained in:
Quentin Carbonneaux 2016-03-27 19:13:34 -04:00
parent 3406a5fb2f
commit 205221226f
4 changed files with 10 additions and 9 deletions

View file

@ -1,8 +1,7 @@
all clean:
all clean check:
@make -C src $@
@make -C minic $@
check: all
test/go.sh all
sync-papers:
unison -auto papers ssh://qcar@h/data/d/ssa-doc