diff options
author | Matthew Sotoudeh <matthew@masot.net> | 2023-07-27 12:06:17 -0700 |
---|---|---|
committer | Matthew Sotoudeh <matthew@masot.net> | 2023-07-27 12:06:17 -0700 |
commit | 578531395ecbabd8179e31520c2832ac7d6d3765 (patch) | |
tree | a19666928bb0d8aa47c9c9135cd80268b124ec82 /python/examples/zero_init/Makefile | |
parent | e29b2b00691b12ae70e97a072664bad073d81c4f (diff) |
add dynamic typing example
Diffstat (limited to 'python/examples/zero_init/Makefile')
-rw-r--r-- | python/examples/zero_init/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/python/examples/zero_init/Makefile b/python/examples/zero_init/Makefile new file mode 100644 index 0000000..92f29b7 --- /dev/null +++ b/python/examples/zero_init/Makefile @@ -0,0 +1,10 @@ +all: default instrumented + +default: test.c + gcc -O0 $^ -o $@ + +instrumented: test.c + dietcc -O0 $^ -o $@ --dietc-pass $(PWD)/dietpass + +clean: + rm -f default instrumented |