From f73f4eaac45afb55c61ed8687dc3615570445212 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Fri, 6 Dec 2019 12:23:17 +0100 Subject: [PATCH] smpi_init_options needs to be public --- include/smpi/smpi.h | 1 + src/smpi/include/smpi_config.hpp | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/include/smpi/smpi.h b/include/smpi/smpi.h index bc9dcb776b..3ec09537e7 100644 --- a/include/smpi/smpi.h +++ b/include/smpi/smpi.h @@ -977,6 +977,7 @@ XBT_PUBLIC MPI_Comm smpi_process_comm_self(); XBT_PUBLIC MPI_Info smpi_process_info_env(); XBT_PUBLIC void* smpi_process_get_user_data(); XBT_PUBLIC void smpi_process_set_user_data(void*); +XBT_PUBLIC void smpi_init_options(); XBT_PUBLIC void smpi_execute_flops(double flops); XBT_PUBLIC void smpi_execute(double duration); diff --git a/src/smpi/include/smpi_config.hpp b/src/smpi/include/smpi_config.hpp index 6919ccef69..ac9bfc071e 100644 --- a/src/smpi/include/smpi_config.hpp +++ b/src/smpi/include/smpi_config.hpp @@ -9,7 +9,6 @@ #include "src/internal_config.h" // HAVE_PAPI #include -XBT_PUBLIC void smpi_init_options(); XBT_PRIVATE void smpi_check_options(); /********************************** Configuration of SMPI **************************************/ extern XBT_PRIVATE simgrid::config::Flag _smpi_cfg_host_speed; -- 2.20.1