diff options
Diffstat (limited to 'autogen.sh')
| -rwxr-xr-x | autogen.sh | 6 |
1 files changed, 4 insertions, 2 deletions
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 |