Projet

Général

Profil

« Précédent | Suivant » 

Révision 74a8abfc

Ajouté par Renato Botelho il y a presque 10 ans

Ignore alreadybuilt when verify file is not present

Voir les différences:

builder_scripts/scripts/buildports.sh
159 159
	_PKGNAME=$(make ${MAKE_CONF} -C $PORTA -V PKGNAME)
160 160

  
161 161
	# Check to see if item is already built
162
	if grep -q "$_PKGNAME" $_RECORDDB; then
163
		if [ -z "$_VERIFY" -o -f $_VERIFY ]; then
164
			echo "    +++ $_PORTNAME(${_PKGNAME})...already built on this run.  Skipping."
165
		fi
162
	if grep -q "$_PKGNAME" $_RECORDDB && [ -z "$_VERIFY" -o -f $_VERIFY ]; then
163
		echo "    +++ $_PORTNAME(${_PKGNAME})...already built on this run.  Skipping."
166 164
	else
167 165
		# Complete dependency chain first
168 166
		BUILDLIST=$(make ${MAKE_CONF} -C ${PORTA} $_TARGET 2>/dev/null)
......
236 234
	_PKGNAME=$(make ${MAKE_CONF} -C $PORTA -V PKGNAME)
237 235

  
238 236
	# Check to see if item is already built
239
	if grep -q "$_PKGNAME" "$_RECORDDB"; then
240
		if [ -z "$_VERIFY" -o -f $_VERIFY ]; then
241
			echo "    +++ $_PORTNAME(${_PKGNAME})...already built on this run.  Skipping."
242
		fi
237
	if grep -q "$_PKGNAME" "$_RECORDDB" && [ -z "$_VERIFY" -o -f $_VERIFY ]; then
238
		echo "    +++ $_PORTNAME(${_PKGNAME})...already built on this run.  Skipping."
243 239
	else
244 240
		_LOCAL_MAKE_CONF="${MAKE_CONF} ${MAKEJ_PORTS} BATCH=yes"
245 241
		if [ "${HOSTPLATFORM}" = "${TARGET}" -o "${_CROSSBUILD}" = "nocrossbuild" ]; then

Formats disponibles : Unified diff