diff options
Diffstat (limited to 'internal/generated/Makefile')
| -rw-r--r-- | internal/generated/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/internal/generated/Makefile b/internal/generated/Makefile new file mode 100644 index 0000000..dd3c780 --- /dev/null +++ b/internal/generated/Makefile @@ -0,0 +1,10 @@ +all: generate + +.PHONY: generate +generate: + echo 'package generated' > tracepoint_list.go + echo '' >> tracepoint_list.go + echo 'var TracepointList = []string{' >> tracepoint_list.go + sed -n -E '/^SEC.*sys_(enter|exit)_/ { s/[")]//g; s/.*sys_(.*)/\t"\1",/; p; }' \ + ../c/tracepoints/*.c >> tracepoint_list.go + echo '}' >> tracepoint_list.go |