From a0efdd843c7c47839e31501495cb67e456d7154f Mon Sep 17 00:00:00 2001 From: Thomas Capricelli Date: Wed, 6 Jan 2010 17:14:31 +0100 Subject: actually stop on failure --- scripts/eigen_gen_docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/eigen_gen_docs b/scripts/eigen_gen_docs index 17f573673..f6727eff1 100644 --- a/scripts/eigen_gen_docs +++ b/scripts/eigen_gen_docs @@ -8,7 +8,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 -- cgit v1.2.3