From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 30 Aug 2004 17:48:59 +0000 (+0000)
Subject: Ignore generated files.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=be003c4e8103d90ef33a1c432af4f0322768663c;p=pintos-anon

Ignore generated files.
---

diff --git a/src/userprog/build/.cvsignore b/src/userprog/build/.cvsignore
new file mode 100644
index 0000000..b64d546
--- /dev/null
+++ b/src/userprog/build/.cvsignore
@@ -0,0 +1,7 @@
+*.d
+diskimage.bin
+loader.bin
+kernel.bin
+kernel.bin.data
+kernel.bin.pad
+intr-stubs.S