diff options
author | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2022-12-21 20:17:25 +0100 |
---|---|---|
committer | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2022-12-21 20:17:25 +0100 |
commit | 9478cb54d873222d6fba7e8972f3e1a54fa44ad0 (patch) | |
tree | f74b0ff70b8f98d3cf32bb023ba8f3fd9b3b54b0 | |
parent | fdcc9a677b19e2689d863a3e8286733ec3be67af (diff) | |
download | debvm-9478cb54d873222d6fba7e8972f3e1a54fa44ad0.tar.gz |
debvm-run: if mmdebstrap failed, the image file might exist but have zero size -- test for that
-rwxr-xr-x | debvm-run | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -44,6 +44,7 @@ while test "$#" -gt 0; do done test -f "$IMAGE" || die "image '$IMAGE' not found" +test -s "$IMAGE" || die "image '$IMAGE' is empty" cleanup() { set +x |