]> git.plutz.net Git - bootimage/commitdiff
fail conditions
authorPaul Haensch <paul@Zackserver.buero.zack.vuesch.org>
Thu, 28 Jun 2018 14:58:18 +0000 (16:58 +0200)
committerPaul Haensch <paul@Zackserver.buero.zack.vuesch.org>
Thu, 28 Jun 2018 14:58:18 +0000 (16:58 +0200)
Makefile

index 66ae46b0800dd6598ada0974a3eda955b37dd50f..8879c09a942ac481e23aaf002b21301f9ca01037 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -35,7 +35,7 @@ stretch_%_root/: stretch_%_root/bin/sh ${CONFIG} permissions .FORCE
        touch "$@"
 
 stretch_%_config/: stretch_%_root/ ${CONFIG} permissions .FORCE
-       [ -d "$@" ] && { btrfs subvolume delete "$@" || rm -r "$@"; }
+       if [ -d "$@" ]; then btrfs subvolume delete "$@" || rm -r "$@"; else true; fi
        btrfs subvolume snapshot "$<" "$@" || cp -rlv "$<" "$@"
        cp -av $(addsuffix /*, ${CONFIG}) "$@"
        -chroot "$@" locale-gen