chore: Update Makefile

bartventer · Jun 20, 2024 · 9fcc197 · 9fcc197
1 parent dc70970
commit 9fcc197
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -16,10 +16,8 @@
 SHELL = /bin/bash
 
 # Arguments
-WORKSPACE="${GITHUB_WORKSPACE:-$(git rev-parse --show-toplevel)}"
 SKIP_DEPS ?= false
 COVER ?= false
-COVERDIR="${COVERDIR:-$WORKSPACE/.coverage}"
 
 # Variables
 PKG_NAME := main

diff --git a/scripts/test.sh b/scripts/test.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-set -euo pipefail
+set -euxo pipefail
 
 COVERPROFILE="${COVERPROFILE:-cover.out}"
 WORKSPACE="${GITHUB_WORKSPACE:-$(git rev-parse --show-toplevel)}"