From 8a6d5f10dc9aa92c3cfa2371251e8ca53f04984b Mon Sep 17 00:00:00 2001
From: Thomas Capricelli <orzel@freehackers.org>
Date: Wed, 6 Jan 2010 17:17:40 +0100
Subject: [PATCH] backport from tip : actually stop on compile failure

---
 scripts/eigen_gen_docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/eigen_gen_docs b/scripts/eigen_gen_docs
index 78cec84bc..d909aa71c 100644
--- a/scripts/eigen_gen_docs
+++ b/scripts/eigen_gen_docs
@@ -11,7 +11,7 @@ USER=${USER:-'orzel'}
 # step 1 : build
 # todo if 'build is not there, create one:
 #mkdir build
-(cd build && cmake .. && make -j3 doc) || (echo "make failed"; exit 1)
+(cd build && cmake .. && make -j3 doc) || echo "make failed"; exit 1
 #todo: n+1 where n = number of cpus
 
 #step 2 : upload