X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=379585a9acd1e305274943b381afbc700baf5075;hb=6d34b6cd00bb26603f8acedd3f0ed69a4484e484;hp=d62b2bf403dc02e47a53b14c95401a341d7a2047;hpb=e91248ddc41199bda0676817debf080c2b7835a1;p=pspp

diff --git a/configure.ac b/configure.ac
index d62b2bf403..379585a9ac 100644
--- a/configure.ac
+++ b/configure.ac
@@ -88,7 +88,7 @@ AC_REPLACE_FUNCS([memmove memset stpcpy strpbrk strerror strtol strtoul \
  		  memchr getline getdelim strcasecmp strncasecmp memmem \
 		  strtok_r])
 AC_CHECK_FUNCS([gethostname strstr strtod __setfpucw isinf isnan finite \
-		getpid feholdexcept])
+		getpid feholdexcept mkdtemp])
 
 AC_PROG_LN_S