version 1.14, 2018/01/15 20:38:47 |
version 1.15, 2018/09/26 09:34:23 |
|
|
. if !empty(ERRORS:M"Fatal\:*") || !empty(ERRORS:M'Fatal\:*') |
. if !empty(ERRORS:M"Fatal\:*") || !empty(ERRORS:M'Fatal\:*') |
@exit 1 |
@exit 1 |
. endif |
. endif |
.endif |
.endif |
|
|
|
REGRESS_SETUP?= |
|
REGRESS_CLEANUP?= |
|
.if !empty(REGRESS_SETUP) |
|
${REGRESS_TARGETS}: ${REGRESS_SETUP} |
|
.endif |
|
|
regress: .SILENT |
regress: .SILENT |
.if ! ${REGRESS_LOG:M/*} |
.if ! ${REGRESS_LOG:M/*} |
echo ========================================================= |
echo ========================================================= |
|
|
echo ========================================================= |
echo ========================================================= |
exit 1 |
exit 1 |
.endif |
.endif |
.for RT in ${REGRESS_TARGETS} |
.for RT in ${REGRESS_TARGETS} ${REGRESS_CLEANUP} |
. if ${REGRESS_SKIP_TARGETS:M${RT}} |
. if ${REGRESS_SKIP_TARGETS:M${RT}} |
@echo -n "SKIP " ${_REGRESS_OUT} |
@echo -n "SKIP " ${_REGRESS_OUT} |
. else |
. else |