Hi, At least in connection with the Automake running in silent mode, the check-DEJAGNU target should produce no noise in the output. It probably makes sense to hide all the shell logic behind "@". This also makes it easier to detect actual errors/warnings generated by running the target.
Thanks, Marc
