X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=3b2a948b22bef0ea471f217c003ce902cff98cb2;hb=d594340cb1ae007a92d094ae67116f9f622f2b5d;hp=492fa79798375b1df7f4a93ac23ec5f1259e0119;hpb=3fb611d221aa070458c81c6ca8b1c78fbad9a0ab;p=pspp-builds.git

diff --git a/Smake b/Smake
index 492fa797..3b2a948b 100644
--- a/Smake
+++ b/Smake
@@ -37,6 +37,10 @@ check: all
 	cd _check && make distcheck
 	rm -rf _check
 
+_build: all
+	test -d _build || mkdir _build
+	cd _build && ../configure $(CONFIGUREFLAGS)
+
 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			\