From: Peter van Dijk <peter.van.dijk@powerdns.com>
Date: Tue, 17 Sep 2019 13:19:40 +0000 (+0200)
Subject: makefile + one line doc for `circleci local execute`
X-Git-Tag: dnsdist-1.4.0-rc3~23^2
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=refs%2Fpull%2F8305%2Fhead;p=thirdparty%2Fpdns.git

makefile + one line doc for `circleci local execute`
---

diff --git a/.circleci/Makefile b/.circleci/Makefile
new file mode 100644
index 0000000000..c70419a2e5
--- /dev/null
+++ b/.circleci/Makefile
@@ -0,0 +1,7 @@
+# example usage, after https://circleci.com/docs/2.0/local-cli/ :
+#
+#  make -C .circleci && circleci local execute -c .circleci/config.yml-local --job coverity-auth -e COVERITY_EMAIL=myemailhere -e COVERITY_PROJECT=foo -e COVERITY_TOKEN=XX
+
+config.yml-local: config.yml
+	circleci config process $< > $@
+
diff --git a/.gitignore b/.gitignore
index 0b691a4b01..175e7745dc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,4 +52,5 @@ pdns_recursor.pid
 built_pkgs
 *-wal
 *-shm
-__pycache__
\ No newline at end of file
+__pycache__
+.circleci/config.yml-local