Put a set -e in manual/build.sh [skip ci]
Put a set -e in manual/build.sh [skip ci]


Former-commit-id: 296c48d9a53a0c9fca65075e140840afca5e7d0e [formerly 636bc799c55f101ce35daa8e68c82b30ac6c4ad4]
Former-commit-id: 6796467be9981161dae6f8e064633c1fb99ecca1
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine