2018-11-12 23:42:34 +01:00
|
|
|
|
2019-02-03 04:09:26 +01:00
|
|
|
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
|