From be5917c97b8163016ce797e0b725b05a38f4c847 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Sun, 13 Nov 2016 23:38:57 +0100
Subject: [PATCH] fix text harness problem caused by restructuring (again)

---
 testlib/selenium/runtime.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testlib/selenium/runtime.js b/testlib/selenium/runtime.js
index 06dd56330..7fa9ee958 100644
--- a/testlib/selenium/runtime.js
+++ b/testlib/selenium/runtime.js
@@ -139,7 +139,7 @@ driver.executeScript(script);
 driver.wait(untilTestOver);
 
 function augmentCoverage(cov) {
-  for (let file of globSync(projectRoot + "/lib/**/*.js")) {
+  for (let file of globSync(projectRoot + "/src/**/*.js")) {
     if (file in cov) {
       continue;
     }