From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 19 Jul 2020 07:51:09 +0000 (+0200)
Subject: Remove/Replace some obsolete gnulib modules
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=51b0f7aa6aa83274f4c18ad39e1f4a311aaa73f3;p=pspp

Remove/Replace some obsolete gnulib modules
---

diff --git a/Smake b/Smake
index f5b5711f90..f73e4f5a09 100644
--- a/Smake
+++ b/Smake
@@ -55,7 +55,7 @@ GNULIB_MODULES = \
 	fwriteerror \
 	getline \
 	getpass \
-	gettext \
+	gettext-h \
 	gettimeofday \
         getopt-gnu \
 	gitlog-to-changelog \
@@ -97,7 +97,7 @@ GNULIB_MODULES = \
 	strcasestr \
 	stpcpy \
 	strerror \
-	strftime \
+	nstrftime \
 	strsep \
 	strtod \
 	strtok_r \