aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Deian Stefan <deian@cs.stanford.edu>2012-01-01 21:54:52 -0800
committerGravatar David Terei <davidterei@gmail.com>2012-01-05 18:20:07 -0800
commit1e963b41fb1f5b856aedd24587c879ad6b76bbb0 (patch)
treec1b2adf3e1f350edc9b93010597efcf170390121
parent29dffd0d6fd663a311fd0953b005de684242a330 (diff)
forgot to add to previous commit
-rw-r--r--cbits/HsUnix.c3
-rw-r--r--include/HsUnix.h1
2 files changed, 4 insertions, 0 deletions
diff --git a/cbits/HsUnix.c b/cbits/HsUnix.c
index d74917b..d6366fc 100644
--- a/cbits/HsUnix.c
+++ b/cbits/HsUnix.c
@@ -132,6 +132,9 @@ int __hsunix_push_module(int fd, const char *module)
int __hscore_mkstemp(char *filetemplate) {
return (mkstemp(filetemplate));
}
+char *__hscore_mkdtemp(char *filetemplate) {
+ return (mkdtemp(filetemplate));
+}
#endif
#if !defined(__MINGW32__) && !defined(irix_HOST_OS)
diff --git a/include/HsUnix.h b/include/HsUnix.h
index d8a072a..eecbfe8 100644
--- a/include/HsUnix.h
+++ b/include/HsUnix.h
@@ -175,6 +175,7 @@ int __hsunix_push_module(int fd, const char *module);
#if !defined(__MINGW32__)
int __hscore_mkstemp(char *filetemplate);
+char *__hscore_mkdtemp(char *filetemplate);
#endif
#if !defined(__MINGW32__) && !defined(irix_HOST_OS)