diff options
Diffstat (limited to 'isa/Makefile')
-rw-r--r-- | isa/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/Makefile b/isa/Makefile index 18a03a4..e81f696 100644 --- a/isa/Makefile +++ b/isa/Makefile @@ -8,7 +8,7 @@ include $(isa_src_dir)/rv64ui/Makefrag include $(isa_src_dir)/rv64uf/Makefrag #include $(isa_src_dir)/rv64uv/Makefrag include $(isa_src_dir)/rv64si/Makefrag -include $(isa_src_dir)/rv64sv/Makefrag +#include $(isa_src_dir)/rv64sv/Makefrag include $(isa_src_dir)/rv32ui/Makefrag default: all |