Merge pull request #71 from filecoin-project/fix/make-clean

Don't error `make clean` on missing submodule
This commit is contained in:
Whyrusleeping 2019-07-23 10:46:37 -07:00 committed by GitHub
commit c54bd28e64
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -47,11 +47,15 @@ build: $(BUILD_DEPS)
.PHONY: build
clean:
$(MAKE) -C $(BLS_PATH) clean
rm -rf $(CLEAN)
-$(MAKE) -C $(BLS_PATH) clean
.PHONY: clean
dist-clean:
git clean -xdff
git submodule deinit --all -f
.PHONY: dist-clean
print-%:
@echo $*=$($*)