+ # Check if a specific version is set, eg: by buildroot
+ if [ ! -z "$PETITBOOT_VERSION" ];
+ then
+ # Full git hash
+ len=$(echo -n "${PETITBOOT_VERSION}" | wc -c)
+ if [[ ${len} == 40 ]]; then
+ version=`echo -n ${PETITBOOT_VERSION} | \
+ sed "s/^\([0-9a-f]\{7\}\).*/\1/;"`
+ else
+ version="$PETITBOOT_VERSION"
+ fi
+ else
+ # Default to current date and time.
+ version="$(date +dev.$datefmt)"
+ fi