diff options
Diffstat (limited to 'internal/c/generated/Makefile')
| -rw-r--r-- | internal/c/generated/Makefile | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/internal/c/generated/Makefile b/internal/c/generated/Makefile deleted file mode 100644 index 2d93b0c..0000000 --- a/internal/c/generated/Makefile +++ /dev/null @@ -1,14 +0,0 @@ -all: generate - -generate: tracepoints - -.PHONY: tracepoints -tracepoints: - sudo sh -c 'cat /sys/kernel/tracing/events/syscalls/sys_{enter,exit}_*/format' \ - | raku tracepoints.raku > ./tracepoints.c - -.PHONY: tracepoints_stdout -tracepoints_stdout: - sudo sh -c 'cat /sys/kernel/tracing/events/syscalls/sys_{enter,exit}_*/format' \ - | raku tracepoints.raku - |