projects / pintos-anon / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Make timeouts based on CPU time.
[pintos-anon] / src / utils / Makefile
1 all: setitimer-helper
2
3 LDFLAGS = -lm
4 setitimer-helper: setitimer-helper.o
5
6 clean: 
7         rm -f *.o setitimer-helper
Pintos public repository