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 |