From: Jim Meyering <jim@meyering.net>
Date: Mon, 26 Nov 2001 12:08:16 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dedfc51c32dc51769c531d2e376da9eb30bba372;p=pspp

.
---

diff --git a/lib/gtod.h b/lib/gtod.h
deleted file mode 100644
index 3372416f78..0000000000
--- a/lib/gtod.h
+++ /dev/null
@@ -1,21 +0,0 @@
-#ifndef GTOD_H
-# define GTOD_H 1
-
-# ifndef PARAMS
-#  if defined PROTOTYPES || (defined __STDC__ && __STDC__)
-#   define PARAMS(Args) Args
-#  else
-#   define PARAMS(Args) ()
-#  endif
-# endif
-
-void GTOD_init PARAMS ((void));
-
-/* This is a no-op on compliant systems.  */
-# if GETTIMEOFDAY_CLOBBERS_LOCALTIME_BUFFER
-#  define GETTIMEOFDAY_INIT() GTOD_init ()
-# else
-#  define GETTIMEOFDAY_INIT() /* empty */
-# endif
-
-#endif