
DATABASE_FILES = *.csv *.db *.json *.yaml
TIMINGS_FILES = *.sdf

clean-zynqus+-db:
	rm -f $(addprefix zynqus+/,$(DATABASE_FILES))
	rm -f $(addprefix zynqus+/timings/,$(TIMINGS_FILES))

clean-db: clean-zynqus+-db
	@true

clean: clean-db
	@true

.PHONY: clean-zynqus+-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