X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=74202e999efb4e2302890cbc94c54bb017a8a8f3;hb=ac0bf135a197ff174ef3ea5e12db8cf93ec6523c;hp=35dd3285f17fea957427c41381d44fb43c9d4bd8;hpb=992bcbd6001c1b36828de093c3b218f5bfd688b6;p=pspp-builds.git

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			\