Closed gpaulissen closed 1 year ago
dbug.log
This has no output:
$ dbugrpt < dbug.log
Command line short options should be converted to long options.
The script src/prog/dbugrpt.in now includes a command line option -D to force a done() at the end. This results in the totals being displayed (if profiling was on).
src/prog/dbugrpt.in
-D
dbug.log
This has no output:
Command line short options should be converted to long options.