# workaround problem in guestmount in wheezy: -o uid doesnt work:
# "sudo guestmount -o uid=$(id -u) -o gid=$(id -g)" would be nicer, but it doesnt work: as root, the files seem to belong to jenkins, but as jenkins they cannot be accessed
sudo guestmount -a$LV-i--ro$SYSTEM_MNT||{echo"Warning: cannot mount filesystems from $LV";export FAILURE=true;}
sudo guestmount -a${FILEPATH}-i--ro$SYSTEM_MNT||{echo"Warning: cannot mount filesystems from ${FILEPATH}";export FAILURE=true;}
#
# copy logs (and continue if some logs cannot be copied)