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
+++ b/bootstrap.conf
@@ -27,6 +27,7 @@
   lstat
   mkdir
   mkfifo
+  rmdir
   stat
   strftime
   times