[m-rev.] trivial diff: don't export MR_make_argv

Julien Fischer jfischer at opturion.com
Mon Dec 14 14:14:04 AEDT 2015


Don't export MR_make_argv from the runtime.

runtime/mercury_wrapper.[ch]:
      The function MR_make_argv was only exported from this module
      for the use of the GCC backend; since that no longer exists,
      we no longer need to export it.

Julien.

diff --git a/runtime/mercury_wrapper.c b/runtime/mercury_wrapper.c
index b941b57..0afabc5 100644
--- a/runtime/mercury_wrapper.c
+++ b/runtime/mercury_wrapper.c
@@ -506,6 +506,7 @@ int                 MR_num_complexity_procs;
  #endif

  static  void    MR_process_args(int argc, char **argv);
+static const char   *MR_make_argv(const char *, char **, char ***, int *);
  static  void    MR_process_environment_options(void);
  static  void    MR_process_options(int argc, char **argv);
  MR_NO_RETURN(static  void    MR_usage(void));
diff --git a/runtime/mercury_wrapper.h b/runtime/mercury_wrapper.h
index 649bd98..03f10bf 100644
--- a/runtime/mercury_wrapper.h
+++ b/runtime/mercury_wrapper.h
@@ -369,9 +369,6 @@ extern void         MR_register_type_ctor_stat(MR_TypeStat *type_stat,

  #endif

-/* This is used by compiler/mlds_to_gcc.m. */
-extern const char   *MR_make_argv(const char *, char **, char ***, int *);
-
  extern void         MR_setup_call_intervals(char **more_str_ptr,
                          unsigned long *min_ptr, unsigned long *max_ptr);




More information about the reviews mailing list