The lock functions don't really need to disable interrupts themselves,
[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