headers: check that _GL_INLINE_HEADER_BEGIN is defined

[gnulib.git] / lib / gethrxtime.h

diff --git a/lib/gethrxtime.h b/lib/gethrxtime.h
index 10df671..959f0ed 100644 (file)
--- a/lib/gethrxtime.h
+++ b/lib/gethrxtime.h
@@ -22,6 +22,9 @@
 
 #include "xtime.h"
 
+#ifndef _GL_INLINE_HEADER_BEGIN
+ #error "Please include config.h first."
+#endif
 _GL_INLINE_HEADER_BEGIN
 #ifndef GETHRXTIME_INLINE
 # define GETHRXTIME_INLINE _GL_INLINE