|
@@ -125,6 +125,7 @@ before_install: |
|
|
|
|
|
|
|
|
before_script:
|
|
|
before_script:
|
|
|
# Wait a while for output to flush :(
|
|
|
# Wait a while for output to flush :(
|
|
|
|
|
|
- set +e
|
|
|
- onexit() { sleep 20; }; trap onexit 0
|
|
|
- onexit() { sleep 20; }; trap onexit 0
|
|
|
- pwd
|
|
|
- pwd
|
|
|
- mkdir -p build || echo "Failed to mkdir build"
|
|
|
- mkdir -p build || echo "Failed to mkdir build"
|
|
|