mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
(Module): only try to run render-bugs if it exists.
This commit is contained in:
parent
c6a576f766
commit
73cc2740d4
2 changed files with 8 additions and 2 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue