From: Ben Pfaff <blp@gnu.org>
Date: Mon, 15 Jan 2007 20:01:52 +0000 (+0000)
Subject: Add _debug target to create _debug directory and configure with
X-Git-Tag: v0.6.0~586
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ac0bf135a197ff174ef3ea5e12db8cf93ec6523c;p=pspp-builds.git

Add _debug target to create _debug directory and configure with
--enable-debug.
---

diff --git a/Smake b/Smake
index 35dd3285..74202e99 100644
--- a/Smake
+++ b/Smake
@@ -101,6 +101,10 @@ _build: all
 	test -d _build || mkdir _build
 	cd _build && ../configure $(CONFIGUREFLAGS)
 
+_debug: all
+	test -d _debug || mkdir _debug
+	cd _debug && ../configure $(CONFIGUREFLAGS) --enable-debug
+
 PO_FILES = po/ChangeLog po/Makefile po/Makefile.in po/Makefile.in.in	\
 po/POTFILES po/POTFILES.in po/Rules-quot po/boldquot.sed		\
 po/cat-id-tbl.c po/en@boldquot.header po/en@quot.header			\