RFC: change default directory to src,ext. (#19)

This commit is contained in:
Fredrik Ekre
2022-12-21 23:56:53 +01:00
committed by GitHub
parent 6e018a9646
commit 605cc6b85a
3 changed files with 5 additions and 5 deletions

View File

@@ -6,7 +6,7 @@ Pkg.add(PackageSpec(name="CoverageTools"))
using CoverageTools
directories = get(ENV, "INPUT_DIRECTORIES", "src")
directories = get(ENV, "INPUT_DIRECTORIES", "src,ext")
dirs = filter!(!isempty, split(directories, ","))
for dir in dirs
isdir(dir) || error("directory \"$dir\" not found!")