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


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