/* Test of <time.h> substitute.
- Copyright (C) 2007, 2009-2016 Free Software Foundation, Inc.
+ Copyright (C) 2007, 2009-2021 Free Software Foundation, Inc.
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
- along with this program. If not, see <http://www.gnu.org/licenses/>. */
+ along with this program. If not, see <https://www.gnu.org/licenses/>. */
/* Written by Bruno Haible <bruno@clisp.org>, 2007. */
per POSIX 2008. */
verify (sizeof NULL == sizeof (void *));
+/* Check that TIME_UTC is defined and a positive integer. */
+int t3 = TIME_UTC;
+verify (TIME_UTC > 0);
+
int
main (void)
{