05cff3223d
- fix license marker - install .desktop file - re-format DESCR feedback and ok ajacoutot@
14 lines
401 B
Plaintext
14 lines
401 B
Plaintext
$OpenBSD: patch-configure_in,v 1.2 2008/08/25 15:15:53 jasper Exp $
|
|
--- configure.in.orig Thu Aug 21 16:16:14 2008
|
|
+++ configure.in Thu Aug 21 16:16:32 2008
|
|
@@ -44,6 +44,9 @@ if test $valid_gtk_version -eq 0; then
|
|
fi
|
|
AC_MSG_RESULT(recent enough)
|
|
|
|
+dnl check for headers
|
|
+AC_CHECK_HEADERS(linux/sem.h)
|
|
+
|
|
dnl check for dctc
|
|
AC_CHECK_PROG(HAVE_DCTC,dctc,yes,no)
|
|
if test "x$HAVE_DCTC" = "xno"; then
|