diff options
| author | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2019-03-01 13:57:05 +0000 |
|---|---|---|
| committer | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2019-03-01 13:57:05 +0000 |
| commit | b13312aa85e975afbcba394401e105f151f1b37a (patch) | |
| tree | c9818f83c6366083fdf7a730eed069edcc76f624 /Makefile | |
| parent | 89829353fd6864f178354fa24b66026d876591f2 (diff) | |
| download | sail-riscv-b13312aa85e975afbcba394401e105f151f1b37a.zip sail-riscv-b13312aa85e975afbcba394401e105f151f1b37a.tar.gz sail-riscv-b13312aa85e975afbcba394401e105f151f1b37a.tar.bz2 | |
Make clean remove coq extras build files
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -261,4 +261,5 @@ clean: -rm -rf ocaml_emulator/_sbuild ocaml_emulator/_build ocaml_emulator/riscv_ocaml_sim ocaml_emulator/tracecmp -rm -f *.gcno *.gcda -Holmake cleanAll + -rm -f handwritten_support/riscv_extras.vo handwritten_support/riscv_extras.glob handwritten_support/.riscv_extras.aux ocamlbuild -clean |