X-Git-Url: https://git.hcoop.net/bpt/guile.git/blobdiff_plain/c6a576f7669b27c05405fe65abca015d50a01c1a..73cc2740d456a5d50c0a140748a8da2cc9b283c0:/autogen.sh

diff --git a/autogen.sh b/autogen.sh
index 90dc4805f..18e639b8c 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -31,8 +31,10 @@ ln -s $workbook/build/dist-files/.gdbinit examples/example.gdbinit
 
 # TODO: This should be moved to dist-guile
 mscripts=../guile-scripts
-rm -f BUGS
-$mscripts/render-bugs > BUGS
+if test -x $mscripts/render-bugs ; then
+  rm -f BUGS
+  $mscripts/render-bugs > BUGS
+fi
 
 ######################################################################
 ### update infrastructure