--- release.sh.with.223740.and.223741	2017-11-19 04:11:28.702494000 +0000
+++ release.sh	2017-11-19 04:23:25.667356000 +0000
@@ -289,8 +289,15 @@
 
 		if [ ! -z "${EMBEDDEDPORTS}" ]; then
 			for _PORT in ${EMBEDDEDPORTS}; do
-				eval chroot ${CHROOTDIR} make -C /usr/ports/${_PORT} \
-					FORCE_PKG_REGISTER=1 ${PBUILD_FLAGS} install clean distclean
+				PKGNAME=`chroot ${CHROOTDIR} make -C /usr/ports/${_PORT} \
+					-V PKGNAME`
+				PKGNAME_INSTALLED=`chroot ${CHROOTDIR} pkg info -E ${PKGNAME} 2> /dev/null`
+				if [ "${PKGNAME_INSTALLED}" != "${PKGNAME}" ]; then
+					eval chroot ${CHROOTDIR} make -C /usr/ports/${_PORT} \
+						FORCE_PKG_REGISTER=1 ${PBUILD_FLAGS} install clean distclean
+				else
+					echo "skipping install of ${_PORT} as it is already installed and up to date."
+				fi
 			done
 		fi
 	fi