diff options
| author | Hendrik Tews | 2020-12-15 21:22:21 +0100 |
|---|---|---|
| committer | hendriktews | 2020-12-19 16:43:49 +0100 |
| commit | ff230ff05620b67b4493354a829923c3efe4dc8b (patch) | |
| tree | 710a2f277616d40d933bea15809fb19d09e0797e /ci/compile-tests | |
| parent | 7cde26b20cab22d2a82f6bb50e852bbb5688d610 (diff) | |
fix 2 background compilation bugs for a dependency in state ready
Diffstat (limited to 'ci/compile-tests')
| -rw-r--r-- | ci/compile-tests/006-ready-dependee/test.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/compile-tests/006-ready-dependee/test.el b/ci/compile-tests/006-ready-dependee/test.el index 280c008a..7105c6e7 100644 --- a/ci/compile-tests/006-ready-dependee/test.el +++ b/ci/compile-tests/006-ready-dependee/test.el @@ -125,6 +125,6 @@ Combine all the following tests in this order: (cct-check-main-buffer vo-times "10" '("./b.vo" "./c.vo" "./d.vo" "./e.vo" "./f.vo" "./g.vo" - "./h.vo" "./i.vo" "./j.v" "./k.v") + "./h.vo" "./i.vo" "./j.vo" "./k.vo") other-locked-files) )) |