Use -pipe to speed up compilation a little bit.

diff --git a/Makefile b/Makefile
index 751418c49ef18bfe4bba1765e539b292022af971..f7e2171d39aec3725b783015e9df3c56e5762d42 100644 (file)
--- 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