diff options
Diffstat (limited to 'tools/m4/uuid.m4')
| -rw-r--r-- | tools/m4/uuid.m4 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/m4/uuid.m4 b/tools/m4/uuid.m4 new file mode 100644 index 0000000000..8e5cd31861 --- /dev/null +++ b/tools/m4/uuid.m4 @@ -0,0 +1,10 @@ +AC_DEFUN([AX_CHECK_UUID], +[if test "x$host_os" == "xlinux-gnu" +then + AC_CHECK_HEADER([uuid/uuid.h],, + [AC_MSG_ERROR([cannot find uuid headers])]) +else + AC_CHECK_HEADER([uuid.h],, + [AC_MSG_ERROR([cannot find uuid headers])]) +fi +]) |