summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPetr Kulhavy2017-05-15 03:17:53 -0500
committerRichard Cochran2017-05-15 16:18:27 -0500
commit0efc3a97f551b91eddefa1ded68afc6857809620 (patch)
tree85df3e69f80764135afb04a30407af5bdbd96b33
parentc7837b9a298ba40b776242b090d6a1415d414488 (diff)
downloadlinuxptp-0efc3a97f551b91eddefa1ded68afc6857809620.tar.gz
linuxptp-0efc3a97f551b91eddefa1ded68afc6857809620.tar.xz
linuxptp-0efc3a97f551b91eddefa1ded68afc6857809620.zip
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>
-rwxr-xr-xincdefs.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/incdefs.sh b/incdefs.sh
index 34e227f..8232b5c 100755
--- a/incdefs.sh
+++ b/incdefs.sh
@@ -31,7 +31,7 @@ user_flags()
31 31
32 # Look for clock_adjtime(). 32 # Look for clock_adjtime().
33 for d in $dirs; do 33 for d in $dirs; do
34 files=$(find $d -type f -name time.h) 34 files=$(find $d -type f -name time.h -o -name timex.h)
35 for f in $files; do 35 for f in $files; do
36 if grep -q clock_adjtime $f; then 36 if grep -q clock_adjtime $f; then
37 printf " -DHAVE_CLOCK_ADJTIME" 37 printf " -DHAVE_CLOCK_ADJTIME"