From 8d40d39f472cecd6791a4149b5e89d6d3a17d24d Mon Sep 17 00:00:00 2001
From: alegrand <alegrand@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Fri, 1 Jul 2005 20:32:24 +0000
Subject: [PATCH] use a nice va_copy if none was provided by the system

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1525 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/xbt/log.c              | 2 ++
 src/xbt/snprintf.c         | 1 +
 testsuite/xbt/ex_test_ts.c | 1 +
 3 files changed, 4 insertions(+)

diff --git a/src/xbt/log.c b/src/xbt/log.c
index c99b421a7f..7fda9b9136 100644
--- a/src/xbt/log.c
+++ b/src/xbt/log.c
@@ -7,7 +7,9 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+
 #include <stdarg.h>
+#include "gras_config.h" /* to get a workgin stdarg.h */
 #include <ctype.h>
 
 #include "xbt_modinter.h"
diff --git a/src/xbt/snprintf.c b/src/xbt/snprintf.c
index 4f1561807a..b6f7b75c90 100644
--- a/src/xbt/snprintf.c
+++ b/src/xbt/snprintf.c
@@ -323,6 +323,7 @@
 #include <stdlib.h>
 #include <stdio.h>
 #include <stdarg.h>
+#include "gras_config.h" /* to get a working stdarg.h */
 #include <assert.h>
 #include <errno.h>
 
diff --git a/testsuite/xbt/ex_test_ts.c b/testsuite/xbt/ex_test_ts.c
index 7e0e6933a9..b86c81e200 100644
--- a/testsuite/xbt/ex_test_ts.c
+++ b/testsuite/xbt/ex_test_ts.c
@@ -32,6 +32,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <stdarg.h>
+#include "gras_config.h"
 
 #include "ex_test_ts.h"
 
-- 
2.20.1