diff options
| -rw-r--r-- | cheri/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 1cd9ecc7..419fa4e1 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -36,7 +36,7 @@ coverage_report: bisect*.out bisect-ppx-report -I _sbuild/_build -html $@ $^ cheri.c: $(CHERI_SAILS) $(CHERI_MAIN) - $(SAIL) -memo_z3 -c $^ 1> $@ + $(SAIL) -memo_z3 -O -c $^ 1> $@ cheri_c: cheri.c ../lib/sail.h Makefile gcc -O2 $< ../lib/*.c -lgmp -lz -I ../lib/ -o $@ |