From 434fc19d6c6f096926746f7ea07d81615b4eef16 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 18 Nov 2004 01:13:40 +0000
Subject: [PATCH] Add -DPINTOS to DEFINES.

---
 src/Makefile.userprog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile.userprog b/src/Makefile.userprog
index 0d93189..29bdcf8 100644
--- a/src/Makefile.userprog
+++ b/src/Makefile.userprog
@@ -6,7 +6,7 @@ SHELL = /bin/sh
 
 VPATH = $(SRCDIR)
 
-DEFINES = -DUSER
+DEFINES = -DPINTOS -DUSER
 CPPFLAGS = -nostdinc -I$(SRCDIR) -I- -I$(SRCDIR)/lib -I$(SRCDIR)/lib/user -I.
 
 # Linker flags.
-- 
2.30.2