overseer: simplify debugging some more (#4053)

* overseer: simplify debugging some more

* chore: undo gitignore change
This commit is contained in:
Bernhard Schuster
2021-10-11 18:59:45 +02:00
committed by GitHub
parent e017422166
commit 6ea55caa85
2 changed files with 14 additions and 6 deletions
@@ -0,0 +1,2 @@
/// A dummy build script, so `OUT_DIR` is set.
fn main() {}