From b478521ecd579637d4d7134d93fdecdd600a88be Mon Sep 17 00:00:00 2001 From: Thomas Capricelli Date: Tue, 19 Apr 2011 17:41:23 +0200 Subject: [PATCH] eigen_gen_docs : be nice with the server : dont use -j3 --- scripts/eigen_gen_docs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/eigen_gen_docs b/scripts/eigen_gen_docs index 6add47d24..539abb1cd 100644 --- a/scripts/eigen_gen_docs +++ b/scripts/eigen_gen_docs @@ -5,10 +5,12 @@ # will be used USER=${USER:-'orzel'} +#ulimit -v 1024000 + # step 1 : build # todo if 'build is not there, create one: mkdir build -p -(cd build && cmake .. && make -j3 doc) || { echo "make failed"; exit 1; } +(cd build && cmake .. && make doc) || { echo "make failed"; exit 1; } #todo: n+1 where n = number of cpus #step 2 : upload