remove some duplicate build files (#1357)

* remove some duplicate build files

* use ENGINE dgo for tests
This commit is contained in:
water111
2022-05-19 17:08:01 -04:00
committed by GitHub
parent 0f3daa8fc7
commit 05857c42f7
11 changed files with 61 additions and 2476 deletions
+1 -5
View File
@@ -358,11 +358,7 @@ bool MakeSystem::make(const std::string& target, bool force, bool verbose) {
print_input(rule->input, '\n');
} else {
fmt::print("[{:3d}%] [{:8s}] {:.3f} ", percent, tool->name(), step_timer.getSeconds());
if (tool->name() == "goalc") {
print_input(rule->input, '\r');
} else {
print_input(rule->input, '\n');
}
print_input(rule->input, '\n');
}
}
}