diff options
Diffstat (limited to 'hello/both_hello/hello-deep.ini')
-rw-r--r-- | hello/both_hello/hello-deep.ini | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/hello/both_hello/hello-deep.ini b/hello/both_hello/hello-deep.ini index e3f486b..946e588 100644 --- a/hello/both_hello/hello-deep.ini +++ b/hello/both_hello/hello-deep.ini @@ -12,8 +12,7 @@ name = Hello Deep RTEMS Tracer ; ; Options can be defined here or on the command line. ; -;options = verbose, verbose -options = dump-on-error +;options = verbose ; ; Functions to trace. ; |