From: Karl Berry <karl@freefriends.org>
Date: Wed, 24 Dec 2008 21:54:30 +0000 (-0800)
Subject: autoupdate
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c563d5a3327292c146e7359b82692565aa240b32;p=pspp

autoupdate
---

diff --git a/doc/install.texi b/doc/install.texi
index f4c8c4caaa..d498639ff8 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -188,7 +188,7 @@ not installed, it is recommended to use the following options in order to
 use an ANSI C compiler:
 
 @example
-./configure CC="cc -Ae"
+./configure CC="cc -Ae -D_XOPEN_SOURCE=500"
 @end example
 
 @noindent