(root)/u/gerd/ - Rev 613
Rev 496 |
Last modification |
Compare with Previous |
View Log
| RSS feed
Last modification
- Rev 497 2017-05-11 08:29:20
- Author: gerd
- Log message:
- Check programs: Print "no errors found" if no errors were printed.
If the report doesn't end with "ERROR: total number of errors seen" or with
"no errors found" we know that the program crashed.