Remove duplicate file extensions.
Gracefully remove duplicate file extensions on the output filename Change-Id: Id4f8b0d75b587c238c89d6ca7a06fab6a57cd627
This commit is contained in:
parent
5b99028acf
commit
e34e75ff22
@ -79,6 +79,8 @@ source $_LIB/img-defaults
|
|||||||
source $_LIB/common-functions
|
source $_LIB/common-functions
|
||||||
source $_LIB/img-functions
|
source $_LIB/img-functions
|
||||||
|
|
||||||
|
IMAGE_NAME=${IMAGE_NAME%%\.${IMAGE_TYPE}}
|
||||||
|
|
||||||
IMAGE_ELEMENT=$($SCRIPT_HOME/element-info --expand-dependencies $IMAGE_ELEMENT)
|
IMAGE_ELEMENT=$($SCRIPT_HOME/element-info --expand-dependencies $IMAGE_ELEMENT)
|
||||||
|
|
||||||
echo "Building elements: $IMAGE_ELEMENT"
|
echo "Building elements: $IMAGE_ELEMENT"
|
||||||
|
Loading…
Reference in New Issue
Block a user