diff options
| author | Peter Sewell | 2017-01-24 13:24:46 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-01-24 13:24:46 +0000 |
| commit | 65175633755ee5c96e159356d5243ba48be4dbd5 (patch) | |
| tree | 3d07cbf51e3d141d7763e8e108b3832df5894189 /Makefile | |
| parent | 200df7e1e8d943811b40be7a7251f969fba8bd1e (diff) | |
add "interpreter" to make all
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ .PHONY: all sail language clean archs -all: sail +all: sail interpreter apply_header: headache -c etc/headache_config -h etc/mips_header `ls mips/*.sail` |