043711e3fa
Use the distribution string already available as $DISTRO_NAME. Change-Id: I4aa3b19d66cc4bed39e9778f0ed21e86743afe41
12 lines
242 B
Bash
Executable file
12 lines
242 B
Bash
Executable file
#!/bin/bash
|
|
|
|
if [ ${DIB_DEBUG_TRACE:-1} -gt 0 ]; then
|
|
set -x
|
|
fi
|
|
set -eu
|
|
set -o pipefail
|
|
|
|
if [ $DISTRO_NAME = 'opensuse' ] ; then
|
|
# workaround for https://bugzilla.novell.com/show_bug.cgi?id=859493
|
|
rm -f /dev/mapper/loop*_part1
|
|
fi
|