From 0c6b2a50f61af2b0e7b82b6076df9e534dd0c3f3 Mon Sep 17 00:00:00 2001
From: Jimmy Tang <jtang@tchpc.tcd.ie>
Date: Sun, 8 May 2011 18:21:56 +0100
Subject: [PATCH] Check for C99 related header file

---
 contribs/phpext/slurm_php/config.m4.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/contribs/phpext/slurm_php/config.m4.in b/contribs/phpext/slurm_php/config.m4.in
index 51f80485749..7ec65082c1c 100644
--- a/contribs/phpext/slurm_php/config.m4.in
+++ b/contribs/phpext/slurm_php/config.m4.in
@@ -53,6 +53,8 @@ if test "$PHP_SLURM" != "no"; then
 	
 	PHP_SUBST(SLURM_PHP_SHARED_LIBADD)
 	
+	AC_CHECK_HEADERS(stdbool.h)
+
 	AC_DEFINE(HAVE_SLURM_PHP, 1, [Whether you have SLURM])
 	#PHP_EXTENSION(slurm_php, $ext_shared)
 	PHP_NEW_EXTENSION(slurm_php, @top_srcdir@/contribs/phpext/slurm_php/slurm_php.c, $ext_shared)
-- 
GitLab