diff options
| author |  Thomas Capricelli <orzel@freehackers.org> | 2011-04-19 17:41:59 +0200 |
|---|---|---|
| committer | Thomas Capricelli <orzel@freehackers.org> | 2011-04-19 17:41:59 +0200 |
| commit | 50c00d14c87133859f9eaaeb00a4a502b9e8fa2a (patch) | |
| tree | b4c493bb3886dacf416319eecb931bd453ea84f5 /scripts | |
| parent | e87f6539241b55ed03b175908e6326b385cf3920 (diff) | |
be nice with the server : dont use -j3
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/eigen_gen_docs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/eigen_gen_docs b/scripts/eigen_gen_docs index 4c9214e51..1688f9b41 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 -(cd build && cmake .. && make -j3 doc) || { echo "make failed"; exit 1; } +mkdir build -p +(cd build && cmake .. && make doc) || { echo "make failed"; exit 1; } #todo: n+1 where n = number of cpus #step 2 : upload |