Fix specifying disc images
This commit is contained in:
parent
6965161fec
commit
05d4c11f56
1 changed files with 1 additions and 1 deletions
|
|
@ -64,8 +64,8 @@ fi
|
||||||
# Append disk name to build directory if disk image is specified
|
# Append disk name to build directory if disk image is specified
|
||||||
if [ -n "$DISC_IMAGE" ] && [ -f "$DISC_IMAGE" ]; then
|
if [ -n "$DISC_IMAGE" ] && [ -f "$DISC_IMAGE" ]; then
|
||||||
# Extract filename without extension
|
# Extract filename without extension
|
||||||
|
CMAKE_ARGS="$CMAKE_ARGS -DDISC_IMAGE=${DISC_IMAGE}"
|
||||||
DISC_IMAGE=$(basename "$DISC_IMAGE" | sed 's/\.[^.]*$//')
|
DISC_IMAGE=$(basename "$DISC_IMAGE" | sed 's/\.[^.]*$//')
|
||||||
CMAKE_ARGS="$CMAKE_ARGS -DDISK_IMAGE=${DISC_IMAGE}"
|
|
||||||
TAG=${TAG}_${DISC_IMAGE}
|
TAG=${TAG}_${DISC_IMAGE}
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue