| 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 |