diff --git a/script/coverage b/script/coverage index 4ebadb3..0ae9b8b 100755 --- a/script/coverage +++ b/script/coverage @@ -1,4 +1,4 @@ -#!/bin/bash -e +#!/bin/bash -ex ext=".coverprofile"