diff options
Diffstat (limited to 'scripts/eigen_gen_docs')
| -rw-r--r-- | scripts/eigen_gen_docs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |