diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/tracetool | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/tracetool b/scripts/tracetool index 2155a57df2..9ed4fae70f 100755 --- a/scripts/tracetool +++ b/scripts/tracetool @@ -158,7 +158,7 @@ linetoc_end_nop() linetoh_begin_simple() { cat <<EOF -#include "simpletrace.h" +#include "trace/simple.h" EOF simple_event_num=0 |