diff options
| author | Alasdair | 2018-07-24 01:09:14 +0100 |
|---|---|---|
| committer | Alasdair | 2018-07-24 01:09:14 +0100 |
| commit | dafb09e7c26840dce3d522fef3cf359729ca5b61 (patch) | |
| tree | aadf3185d02a77f680e3e81d1d4cfbccaecf58b6 /mips/Makefile | |
| parent | 53210d77dafb13ba1d84c7fbf2e12ce570a20ad0 (diff) | |
Now builds mips spec again.
Some more testing needed to make sure it runs FreeBSD properly and CHERI before merging
Diffstat (limited to 'mips/Makefile')
| -rw-r--r-- | mips/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/Makefile b/mips/Makefile index 593ea6d1..fa1f9fa0 100644 --- a/mips/Makefile +++ b/mips/Makefile @@ -18,7 +18,7 @@ mips: $(MIPS_PRE) $(MIPS_TLB) $(MIPS_SAILS) $(MIPS_MAIN) ../sail mips.c: $(MIPS_PRE) $(MIPS_TLB) $(MIPS_SAILS) $(MIPS_MAIN) Makefile ../sail $(SAIL) -O -memo_z3 -c $(filter %.sail, $^) 1> $@ -C_WARNINGS=-Wall -Wno-unused-but-set-variable -Wno-unused-label -Wno-maybe-uninitialized -Wno-return-type +C_WARNINGS=-Wall -Wno-unused-but-set-variable -Wno-unused-label -Wno-maybe-uninitialized C_OPT=-O2 GCOV_FLAGS= mips_c: mips.c ../lib/sail.h ../lib/*.c Makefile |