X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=Smake;h=b38e98040d69f1d45f94677aebba8a1a9efe0cb3;hb=13bc7e5d95ddbcfcce29080eb2ca2b6eb17d7433;hp=caae02fd97718c881cd5bf6ef95f978b707a3fe7;hpb=e146819bbbfbb379df6e1a2f06ebf0bda0eed81f;p=pspp

diff --git a/Smake b/Smake
index caae02fd97..b38e98040d 100644
--- a/Smake
+++ b/Smake
@@ -43,6 +43,7 @@ GNULIB_MODULES = \
 	crypto/rijndael \
 	dirname \
 	dtoastr \
+	dtotimespec \
 	environ \
 	fatal-signal \
 	fcntl \
@@ -56,6 +57,7 @@ GNULIB_MODULES = \
 	getline \
 	getpass \
 	gettext-h \
+	gettime \
 	gettimeofday \
         getopt-gnu \
 	gitlog-to-changelog \
@@ -105,6 +107,9 @@ GNULIB_MODULES = \
 	sys_stat \
 	tempname \
 	termios \
+	timespec \
+	timespec-add \
+	timespec-sub \
 	trunc \
 	unicase/u8-casecmp \
 	unicase/u8-casefold \