diff options
| author | Robert Norton | 2018-07-10 17:17:11 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-07-10 17:18:08 +0100 |
| commit | defeb0288cf2c4b5315a11a20de142318d921fc7 (patch) | |
| tree | 794f08d7edc80408decce5a1d2d34ab03d819e77 /Makefile | |
| parent | 497c8bf636619988203f8a868806fb04903db2dd (diff) | |
remove sim.dts when anonymising.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -69,6 +69,7 @@ anon_dist: headache -c etc/headache_config -h etc/anon_header `ls snapshots/isabelle/lib/sail/*.thy` headache -c etc/headache_config -h etc/anon_header `ls snapshots/isabelle/lib/lem/*.thy` headache -c etc/headache_config -h etc/anon_header `ls snapshots/hol4/lem/hol-lib/*.sml` + rm mips/sim.dts clean: for subdir in src arm ; do\ |