From 676f90ea0999e06b8cd34170f3eaddbe0f487089 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rn=20Franke?= <jornfranke@gmail.com>
Date: Fri, 24 Feb 2023 22:19:31 +0100
Subject: [PATCH] feat: add support for coverage

---
 bin/gluecoverage | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 bin/gluecoverage

diff --git a/bin/gluecoverage b/bin/gluecoverage
new file mode 100755
index 0000000..3691e9c
--- /dev/null
+++ b/bin/gluecoverage
@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+
+ROOT_DIR="$(cd $(dirname "$0")/..; pwd)"
+source $ROOT_DIR/bin/glue-setup.sh
+exec coverage "$@"