diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2019-05-03 14:28:59 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2019-05-03 14:28:59 +0000 |
| commit | fe70c45e5b6e947a264d0ab916df4ebe0ee263da (patch) | |
| tree | f469e18020de5e6caad2e1a7e047a6d3d557502e /distrib/miniroot | |
| parent | d5d32e57124b273e19d9cbf5ca8d7e9b4cc03031 (diff) | |
During debugging, media are often built without DESTDIR correctly set.
Such media are not entirely accurate -- that's fine. However one case
is very bad -- the TZ tree is entirely skipped, resulting in artificially
smaller media and confusion. Just assume DESTDIR=/ for that case...
Diffstat (limited to 'distrib/miniroot')
| -rw-r--r-- | distrib/miniroot/maketz.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/distrib/miniroot/maketz.sh b/distrib/miniroot/maketz.sh index d0b3c709129..6b6790b840d 100644 --- a/distrib/miniroot/maketz.sh +++ b/distrib/miniroot/maketz.sh @@ -1,10 +1,10 @@ #!/bin/sh -destdir=$1 - if [ $# -lt 1 ]; then - echo usage: maketz.sh DESTDIR - exit 0 + destdir=/ + echo 'warning: using DESTDIR=/' +else + destdir=$1 fi ( |