diff options
| author |  Thomas Capricelli <orzel@freehackers.org> | 2010-01-06 17:14:31 +0100 |
|---|---|---|
| committer | Thomas Capricelli <orzel@freehackers.org> | 2010-01-06 17:14:31 +0100 |
| commit | a0efdd843c7c47839e31501495cb67e456d7154f (patch) | |
| tree | 1f94a7447af7ae71f414d32404ca73a0ea267c9c /scripts | |
| parent | e77748ef9647f5be9e88632f7fddf914872b0667 (diff) | |
actually stop on failure
Diffstat (limited to 'scripts')
| -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 |