| DATABASE_FILES = *.csv *.db *.json *.yaml | |
| TIMINGS_FILES = *.sdf | |
| PART_DIRECTORIES = xczu*/ | |
| clean-zynqusp-db: | |
| rm -f $(addprefix zynqusp/,$(DATABASE_FILES)) | |
| rm -f $(addprefix zynqusp/timings/,$(TIMINGS_FILES)) | |
| rm -rf $(addprefix zynqusp/,$(PART_DIRECTORIES)) | |
| clean-db: clean-zynqusp-db | |
| @true | |
| clean: clean-db | |
| @true | |
| .PHONY: clean-zynqusp-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 |