From: Ben Pfaff <blp@gnu.org>
Date: Sun, 3 Jun 2007 21:59:55 +0000 (+0000)
Subject: Add _ndebug, _profile directories that I use for -DNDEBUG and
X-Git-Tag: v0.6.0~461
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=98821a833995459b7129f0ce2f516e011d15db7f;p=pspp-builds.git

Add _ndebug, _profile directories that I use for -DNDEBUG and
profiling builds.
---

diff --git a/.cvsignore b/.cvsignore
index e8294831..5a9cd9a3 100644
--- a/.cvsignore
+++ b/.cvsignore
@@ -3,6 +3,8 @@ Makefile
 Makefile.in
 _build
 _check
+_ndebug
+_profile
 aclocal.m4
 autom4te.cache
 compile