Skip to content

Commit

Permalink
Additions from review
Browse files Browse the repository at this point in the history
  • Loading branch information
rv-jenkins committed Mar 29, 2024
1 parent 3299f32 commit 352d5c4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion run-kontrol.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ verbose=
verbose=--verbose

break_on_calls=--break-on-calls
# break_on_calls=
break_on_calls=

bug_report="--bug-report=BUGREPORT.bug"
# bug_report=
Expand Down

0 comments on commit 352d5c4

Please sign in to comment.