aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--build2/b.cxx2
1 files changed, 0 insertions, 2 deletions
diff --git a/build2/b.cxx b/build2/b.cxx
index f6ee45a..c7219f0 100644
--- a/build2/b.cxx
+++ b/build2/b.cxx
@@ -1187,8 +1187,6 @@ main (int argc, char* argv[])
// Finally, match the rules and perform the operation.
//
- bool sr ();
-
if (pre_oid != 0)
{
l5 ([&]{trace << "start pre-operation batch " << pre_oif->name