bug#16364: auto-compile noise can't be avoided by script

[Taylan Kammer]

Attached is a patch that adds a command-line switch --silence-auto-compile
which disables all diagnostics about auto-compilation except when the
auto-compilation of a file fails.


This can be used the following way in a script:

#!/usr/bin/guile \
--silence-auto-compile --any --other --switches -s
!#


See:

https://www.gnu.org/software/guile/manual/html_node/The-Meta-Switch.html


-- 
Taylan

0001-Add-command-line-switch-silence-auto-compile.patch
Description: Text document