1 files changed, 11 insertions, 0 deletions

diff --git a/pintos-progos/utils/Makefile b/pintos-progos/utils/Makefile
new file mode 100644
index 0000000..46a9124
--- /dev/null
+++ b/pintos-progos/utils/Makefile
@@ -0,0 +1,11 @@
+all: setitimer-helper squish-pty squish-unix
+
+CC = gcc
+CFLAGS = -Wall -W
+LDFLAGS = -lm
+setitimer-helper: setitimer-helper.o
+squish-pty: squish-pty.o
+squish-unix: squish-unix.o
+
+clean: 
+        rm -f *.o setitimer-helper squish-pty squish-unix