From c5c91ee5ac3bc2de1149c6e6c3d29df20971c756 Mon Sep 17 00:00:00 2001 From: Joshua Raphael Date: Tue, 13 Aug 2024 13:25:21 -0700 Subject: [PATCH] fix output coverage file name --- .gitignore | 2 +- scripts/test.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index f693799..db3dcf5 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,2 @@ -coverage.* +cover.* vendor/ \ No newline at end of file diff --git a/scripts/test.sh b/scripts/test.sh index 408b03d..5b17c43 100755 --- a/scripts/test.sh +++ b/scripts/test.sh @@ -1,7 +1,7 @@ #!/bin/bash DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" -FILE_NAME="coverage" +FILE_NAME="cover" OUT_FILE="$FILE_NAME.out" OUT_HTML="$FILE_NAME.html" OPEN_FILE="file://$DIR/../$OUT_HTML"