Use 9600 bps for Pintos serial, to match the speed used by the loader.

[pintos-anon] / src / utils / Makefile

diff --git a/src/utils/Makefile b/src/utils/Makefile
index 9eca3baa148404a344f88046e4ed9aa459166336..46a91247d7703bb161053e12fbcd39f749c274ba 100644 (file)
--- a/src/utils/Makefile
+++ b/src/utils/Makefile
@@ -1,7 +1,11 @@
-all: setitimer-helper
+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
+       rm -f *.o setitimer-helper squish-pty squish-unix