-if $THUMB; then
- # Append "~thumb" to the package's Debian version string
- # NB: we feed sed directly with $VERSION_DEBIAN, it is not escaped in any way
- sed -i "s/$VERSION_DEBIAN/$VERSION_DEBIAN~thumb/" busybox-$BBVERSION/debian/changelog
- BUILD_OPTIONS="$BUILD_OPTIONS,thumb,vfp"
-fi
-