From 53a788a711ff43849a434de08a1d052fe4212686 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 3 Jul 2018 11:15:50 +0200
Subject: [PATCH 1/1] Build against simgrid-stable by default.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index a30e931..21457ba 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
-#SIMGRID_INSTALL_DIR ?= $(PWD)/simgrid-stable
-SIMGRID_INSTALL_DIR ?= $(PWD)/simgrid-dev
+SIMGRID_INSTALL_DIR ?= $(PWD)/simgrid-stable
+#SIMGRID_INSTALL_DIR ?= $(PWD)/simgrid-dev
 
 OPTIM_FLAGS += -pipe -O3
 DEBUG_FLAGS += -g
-- 
2.39.5