max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/Makefile): clean STAGE1_OUT too

Browse source 
vanished during merge
This commit is contained in:
Sebastian Ullrich 2019-03-22 10:18:33 +01:00
parent 548e7c5436
commit fa0381cecf
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
library/Makefile.in
View file

@ -35,7 +35,7 @@ depends: $(DEPS)
clean:
find . -name *.olean -delete
find . -name *.depend -delete
-rm -r "$(STAGE1_DIR)"
-rm -r "$(STAGE1_DIR)" "$(STAGE1_OUT)"
$(STAGE1_DIR)/%.cpp: %.olean
@