From: degomme <augustin.degomme@unibas.ch>
Date: Wed, 9 Mar 2016 18:21:31 +0000 (+0100)
Subject: This seems to be useless since ... a long time, now (and it breaks on macos)
X-Git-Tag: v3_13~453^2~4
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/772bc61dbf607370584a58f7342df76d7bbc3b56?hp=0996364af4641aefdba14abd0b27f5adafb9d73d

This seems to be useless since ... a long time, now (and it breaks on macos)
---

diff --git a/src/xbt/xbt_log_appender_file.c b/src/xbt/xbt_log_appender_file.c
index 9a56875f64..27da68647b 100644
--- a/src/xbt/xbt_log_appender_file.c
+++ b/src/xbt/xbt_log_appender_file.c
@@ -9,9 +9,6 @@
 #include "src/internal_config.h"
 #include "xbt/sysdep.h"
 #include "src/xbt/log_private.h"
-#if HAVE_SMPI
-#include "src/smpi/private.h" // to access bench_begin/end. Not ultraclean, I confess
-#endif
 #include <stdio.h>
 
 static void append_file(xbt_log_appender_t this_, char *str) {
@@ -27,13 +24,6 @@ static void free_(xbt_log_appender_t this_) {
     fclose(this_->data);
 }
 
-#if HAVE_SMPI
-void __smpi_bench_dont (void); // Stupid prototype
-void __smpi_bench_dont (void) { /* I'm only a place-holder in case we link without SMPI */; }
-void smpi_bench_begin(void) __attribute__ ((weak, alias ("__smpi_bench_dont")));
-void smpi_bench_end(void)   __attribute__ ((weak, alias ("__smpi_bench_dont")));
-#endif
-
 XBT_LOG_EXTERNAL_CATEGORY(smpi); // To detect if SMPI is inited
 
 xbt_log_appender_t xbt_log_appender_file_new(char *arg) {