bug#79086: check-DEJAGNU should produce less noise

    Sure. Here is a tree for a minimal project (see also the attached archive):

Thanks much, Marc. That's very helpful. Will look into it as soon as I
have a chance (if no one else gets there earlier). --all the best, karl.