summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-18 16:39:55 +0100
committerClifford Wolf <clifford@clifford.at>2015-01-18 16:39:55 +0100
commitf6f51cd68a32c1b3134262176d8d16fc46ff2e4c (patch)
tree700bf2813155593a4995fddc1f866f180b8f70b4
parent694cc01f1de8e0d7db7c5e03cb93796430c6ca5b (diff)
parent026b94a6f10525be7f3f8d354f4b9889aacef605 (diff)
Merge pull request #47 from mschmoelzer/master
Add "echo-yosys-ver" and "echo-git-rev" Makefile targets.
-rw-r--r--Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a1e2cb76..278ad881 100644
--- a/Makefile
+++ b/Makefile
@@ -385,6 +385,12 @@ config-gprof: clean
config-sudo:
echo "INSTALL_SUDO := sudo" >> Makefile.conf
+echo-yosys-ver:
+ @echo "$(YOSYS_VER)"
+
+echo-git-rev:
+ @echo "$(GIT_REV)"
+
-include libs/*/*.d
-include frontends/*/*.d
-include passes/*/*.d