diff bootstrap.conf @ 10169:06bd6e57f889

use rmdir module from gnulib
author John W. Eaton <jwe@octave.org>
date Thu, 21 Jan 2010 01:49:36 -0500
parents 37150167a72a
children 1dffc8b2fca7
line wrap: on
line diff
--- a/bootstrap.conf	Thu Jan 21 01:09:42 2010 -0500
+++ b/bootstrap.conf	Thu Jan 21 01:49:36 2010 -0500
@@ -27,6 +27,7 @@
   lstat
   mkdir
   mkfifo
+  rmdir
   stat
   strftime
   times