diff --git a/run-tests b/run-tests index b1de4eea6ff3a04e32175e96e0f7249db22b2cae..2c72039369787d4edb583c1f92f36cc49af2c072 100755 --- a/run-tests +++ b/run-tests @@ -19,7 +19,7 @@ compile() [ -d "$REPORT_DIR" ] || mkdir -p "$REPORT_DIR" - for i in $(cd "$TEST_DIR"; find . -name '*_Test*.hs' -o -name 'wip*' -prune); do + for i in $(cd "$TEST_DIR"; find . -name 'wip*' -prune -o -name '*_Test*.hs' -print); do i="${i#./}" # strip leading ./ o="${i%.hs}" # strip trailing .hs r=$(echo "$o" | sed -e 's;/;_;g') # / → _