From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 20 Sep 2004 03:56:41 +0000 (+0000)
Subject: Add dummy file to ensure that lib/user is kept in CVS.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eebf478f38971e30aee103803a117bed178414ad;p=pintos-anon

Add dummy file to ensure that lib/user is kept in CVS.
---

diff --git a/src/tests/userprog/Makefile b/src/tests/userprog/Makefile
index 9af275f..6629386 100644
--- a/src/tests/userprog/Makefile
+++ b/src/tests/userprog/Makefile
@@ -42,9 +42,12 @@ all: $(PROGS)
 
 define TEMPLATE
 $(1)_OBJ = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$($(1)_SRC)))
-$(1): $$($(1)_OBJ) $$(LIB)
+$(1): $$($(1)_OBJ) $$(LIB) | ./lib/user
 endef
 
+./lib/user:
+	$(MKDIR) -p lib/user
+
 $(foreach prog,$(PROGS),$(eval $(call TEMPLATE,$(prog))))
 
 $(PROGS): $(LIB)
diff --git a/src/tests/userprog/lib/user/.dummy b/src/tests/userprog/lib/user/.dummy
new file mode 100644
index 0000000..e69de29