From b987f4a4f0426df6cbe419e90cf67e0aaf1d0aef Mon Sep 17 00:00:00 2001
From: Navarrop <Pierre.Navarro@imag.fr>
Date: Wed, 29 Jun 2011 14:30:41 +0200
Subject: [PATCH] Drand48 does not exist on win32

---
 src/instr/instr_private.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index ac2949dc05..4f57282d5b 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -11,6 +11,11 @@
 
 #ifdef HAVE_TRACING
 
+/* Need to define function drand48 for Windows */
+#ifdef _WIN32
+	#define drand48() rand()/(float)(RAND_MAX);
+#endif
+
 #define INSTR_DEFAULT_STR_SIZE 500
 
 #include "instr/instr.h"
-- 
2.20.1