diff options
| -rwxr-xr-x | rpi2-debian-stdkernel/files/vg-copy-rpi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rpi2-debian-stdkernel/files/vg-copy-rpi b/rpi2-debian-stdkernel/files/vg-copy-rpi index a8eb53e..2d5fd7a 100755 --- a/rpi2-debian-stdkernel/files/vg-copy-rpi +++ b/rpi2-debian-stdkernel/files/vg-copy-rpi @@ -1,5 +1,6 @@ #!/bin/sh set -eux +if ! test -e /proc/mounts; then exit 0; fi rootsource=$(findmnt -fno source -T /) firmwaresource=$(findmnt -fno source -T /boot/firmware/) if ! test x"$rootsource" = x"$firmwaresource"; then |