From ff7e29859a43a9a98d018bc7410acbb2dda47b4c Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 18 May 2011 17:36:52 +0200
Subject: [PATCH 1/1] Use -pipe to speed up compilation a little bit.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 751418c..f7e2171 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 #SIMGRID_INSTALL_DIR ?= $(PWD)/simgrid-stable
 SIMGRID_INSTALL_DIR ?= $(PWD)/simgrid-dev
 
-OPTIM_FLAGS += -O3
+OPTIM_FLAGS += -pipe -O3
 DEBUG_FLAGS += -g
 #DEBUG_FLAGS += -pg
 CHECK_FLAGS += -Wall -Wextra
-- 
2.39.5