Révision 96839206
Ajouté par Renato Botelho il y a presque 10 ans
| builder_scripts/scripts/buildports.sh | ||
|---|---|---|
| 234 | 234 |
_PKGNAME=$(make ${MAKE_CONF} -C $PORTA -V PKGNAME)
|
| 235 | 235 |
|
| 236 | 236 |
# Check to see if item is already built |
| 237 |
if grep -q "$_PKGNAME" "$_RECORDDB" && [ -z "$_VERIFY" -o -f $_VERIFY ]; then |
|
| 237 |
if grep -q "$_PKGNAME" "$_RECORDDB" && [ -z "${BUILD_ONEPORT}" ] && [ -z "$_VERIFY" -o -f $_VERIFY ]; then
|
|
| 238 | 238 |
echo " +++ $_PORTNAME(${_PKGNAME})...already built on this run. Skipping."
|
| 239 | 239 |
else |
| 240 | 240 |
_LOCAL_MAKE_CONF="${MAKE_CONF} ${MAKEJ_PORTS} BATCH=yes"
|
Formats disponibles : Unified diff
Force build when just one port is called