diff options
Diffstat (limited to 'starts/meaning-vm/makefile')
| -rw-r--r-- | starts/meaning-vm/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/starts/meaning-vm/makefile b/starts/meaning-vm/makefile index 243ab85..0a9738c 100644 --- a/starts/meaning-vm/makefile +++ b/starts/meaning-vm/makefile @@ -24,7 +24,7 @@ level-1/%.ii: $(wildcard level-0/*.hpp) $(wildcard level-1/*.hpp) level-2/%.ii: $(wildcard level-0/*.hpp) $(wildcard level-1/*.hpp) $(wildcard level-2/*.hpp) %.a: - ar ru $@ $^ + ar cr $@ $^ ranlib $@ clean: |