diff --git a/database/Makefile b/database/Makefile index d8060369..082ade76 100644 --- a/database/Makefile +++ b/database/Makefile @@ -1,3 +1,32 @@ -clean: - rm -f $$(ls */* |grep -v settings.sh) +DATABASE_FILES = *.csv *.db *.json *.yaml + +clean-artix7-db: + rm -f $(addprefix artix7/,$(DATABASE_FILES)) + +clean-kintex7-db: + rm -f $(addprefix kintex7/,$(DATABASE_FILES)) + +clean-zynq7-db: + rm -f $(addprefix zynq7/,$(DATABASE_FILES)) + +clean-db: clean-artix7-db clean-kintex7-db clean-zynq7-db + @true + +clean: clean-db + @true + +.PHONY: clean-artix7-db clean-kintex7-db clean-zynq7-db clean-db clean + +reset: + git reset --hard + +.PHONY: reset + +update: + git stash + git fetch origin + git merge origin/master + git stash pop + +.PHONY: update