[m-rev.] diff: fix the --rebuild option

[Julien Fischer]

Fix the --rebuild option.

compiler/op_mode.m:
     The '--rebuild' option should also imply the 'top_make' mode of operation.

Julien.

diff --git a/compiler/op_mode.m b/compiler/op_mode.m
index f47850a..901f2ef 100644
--- a/compiler/op_mode.m
+++ b/compiler/op_mode.m
@@ -269,6 +269,8 @@ gather_bool_op_mode(OptionTable, Option - OpMode, !OpModeSet) :-
  bool_op_modes = [
      make -
          opm_top_make,
+    rebuild -
+        opm_top_make,
      generate_source_file_mapping -
          opm_top_generate_source_file_mapping,