We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7d3733d commit 32902a9Copy full SHA for 32902a9
src/ci/scripts/free-disk-space-linux.sh
@@ -275,7 +275,11 @@ checkAlternative() {
275
# remount under the obj dir which is used by docker scripts to write most
276
# of our build output. And apply optimized mount options while we're at it.
277
mkdir ./obj
278
- sudo mount $blkdev ./obj -o $mntopts || (sudo dmesg | tail -n 20 ; exit 1)
+ if ! sudo mount $blkdev ./obj -o $mntopts; then
279
+ sudo dmesg | tail -n 20 # kernel log should have more details for mount failures
280
+ echo "::warning::Failed to remount $blkdev to ./obj with options: $mntopts"
281
+ return
282
+ fi
283
284
# ensure current user can access everything.
285
# later scripts assume they have recursive access to obj
0 commit comments