From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 22 Apr 2013 18:04:04 +0000 (+0200)
Subject: Use the select and pipe2 modules from gnulib
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fbuilds%2F20130423010504%2Fpspp;p=pspp

Use the select and pipe2 modules from gnulib
---

diff --git a/Smake b/Smake
index a404de41e8..72fdce676c 100644
--- a/Smake
+++ b/Smake
@@ -54,6 +54,7 @@ GNULIB_MODULES = \
 	minmax \
 	mkdtemp \
 	mkstemp \
+	pipe2 \
 	printf-posix \
 	printf-safe \
 	progname \
@@ -63,6 +64,7 @@ GNULIB_MODULES = \
 	relocatable-prog \
 	rename \
 	round \
+	select \
 	snprintf \
 	snprintf-posix \
 	sprintf-posix \