summaryrefslogtreecommitdiffstats
path: root/pintos-progos/utils/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'pintos-progos/utils/Makefile')
-rw-r--r--pintos-progos/utils/Makefile11
1 files changed, 0 insertions, 11 deletions
diff --git a/pintos-progos/utils/Makefile b/pintos-progos/utils/Makefile
deleted file mode 100644
index 46a9124..0000000
--- a/pintos-progos/utils/Makefile
+++ /dev/null
@@ -1,11 +0,0 @@
1all: setitimer-helper squish-pty squish-unix
2
3CC = gcc
4CFLAGS = -Wall -W
5LDFLAGS = -lm
6setitimer-helper: setitimer-helper.o
7squish-pty: squish-pty.o
8squish-unix: squish-unix.o
9
10clean:
11 rm -f *.o setitimer-helper squish-pty squish-unix