]> mj.ucw.cz Git - misc.git/blob - false-true/Makefile
projects / misc.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of git+ssh://git.ucw.cz/home/mj/GIT/misc
[misc.git] / false-true / Makefile
1 # Makefile for False True
2
3 all: true
4
5 true: mktrue
6         ./mktrue
7
8 clean:
9         rm -f true
Miscellaneous experimental programs