From 0efc3a97f551b91eddefa1ded68afc6857809620 Mon Sep 17 00:00:00 2001
From: Petr Kulhavy <brain@jikos.cz>
Date: Mon, 15 May 2017 10:17:53 +0200
Subject: [PATCH] Fix detection of clock_adjtime

On some platforms clock_adjtime is defined in timex.h instead of time.h
Due to this fact the detection in incdefs.h was failing.
Add timex.h into the list of searched files.

Signed-off-by: Petr Kulhavy <brain@jikos.cz>
---
 incdefs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/incdefs.sh b/incdefs.sh
index 34e227f..8232b5c 100755
--- a/incdefs.sh
+++ b/incdefs.sh
@@ -31,7 +31,7 @@ user_flags()
 
 	# Look for clock_adjtime().
 	for d in $dirs; do
-		files=$(find $d -type f -name time.h)
+		files=$(find $d -type f -name time.h -o -name timex.h)
 		for f in $files; do
 			if grep -q clock_adjtime $f; then
 				printf " -DHAVE_CLOCK_ADJTIME"