makefile + one line doc for `circleci local execute`

diff --git a/.circleci/Makefile b/.circleci/Makefile
new file mode 100644 (file)
index 0000000..c70419a
--- /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 0b691a4b0147cb21dbf76cb2755a32dab290752c..175e7745dc47b8d540e799110c9a5357ba7ca445 100644 (file)
--- 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