mirror of
https://github.com/subsurface/subsurface.git
synced 2024-11-30 06:00:20 +00:00
96611c630f
The proxy for this is a check to see if the Subsurface binary was created (in which case we assume that the build succeeded). Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
9 lines
219 B
Bash
9 lines
219 B
Bash
#!/bin/bash
|
|
|
|
set -x
|
|
set -e
|
|
|
|
docker exec -t builder subsurface/scripts/build.sh -desktop 2>&1 | tee build.log
|
|
# fail the build if we didn't create the target binary
|
|
grep /workspace/install-root/bin/subsurface build.log
|
|
|