diff options
| -rw-r--r-- | build2/b.cxx | 2 |
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 |