From b7723743bcb9a404d71ee7f15f7c9b8c0e81dedf Mon Sep 17 00:00:00 2001
From: Peter van Dijk <peter.van.dijk@powerdns.com>
Date: Tue, 17 Sep 2019 15:19:40 +0200
Subject: [PATCH] makefile + one line doc for `circleci local execute`

---
 .circleci/Makefile | 7 +++++++
 .gitignore         | 3 ++-
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 .circleci/Makefile

diff --git a/.circleci/Makefile b/.circleci/Makefile
new file mode 100644
index 000000000..c70419a2e
--- /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 0b691a4b0..175e7745d 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
-- 
2.40.0