Always run "teardown" after chroot

If the shell exits with an error, teardown is not run in target
chroot, which may lead to unwanted effects, such as preventing
unmounting the $BUILD_DIR. Tell make to ignore the error.
This commit is contained in:
Pierre Labastie 2023-09-14 16:03:37 +02:00
parent 200cc0151e
commit c552eabe63

View file

@ -437,11 +437,11 @@ fi
cat << EOF cat << EOF
chroot1: devices chroot1: devices
sudo \$(CHROOT1) -sudo \$(CHROOT1)
\$(MAKE) teardown \$(MAKE) teardown
chroot: devices chroot: devices
sudo \$(CHROOT1) -sudo \$(CHROOT1)
\$(MAKE) teardown \$(MAKE) teardown
SETUP: $SETUP_TGT SETUP: $SETUP_TGT