diff options
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/tinderbox/Makefile | 1 | ||||
| -rw-r--r-- | ports-mgmt/tinderbox/files/patch-fail-reasons | 12 |
2 files changed, 13 insertions, 0 deletions
diff --git a/ports-mgmt/tinderbox/Makefile b/ports-mgmt/tinderbox/Makefile index 23d7bbc91b1f..4e0fd944be3b 100644 --- a/ports-mgmt/tinderbox/Makefile +++ b/ports-mgmt/tinderbox/Makefile @@ -3,6 +3,7 @@ PORTNAME= tinderbox PORTVERSION= 4.0.0 +PORTREVISION= 1 CATEGORIES= ports-mgmt MASTER_SITES= http://tinderbox.marcuscom.com/ \ http://T32.TecNik93.com/FreeBSD/ports/${PORTNAME}/sources/ diff --git a/ports-mgmt/tinderbox/files/patch-fail-reasons b/ports-mgmt/tinderbox/files/patch-fail-reasons new file mode 100644 index 000000000000..ee29c839a6b6 --- /dev/null +++ b/ports-mgmt/tinderbox/files/patch-fail-reasons @@ -0,0 +1,12 @@ +# http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/177491 by Anonymous +--- webui/templates/default/latest_buildports.tpl.orig ++++ webui/templates/default/latest_buildports.tpl +@@ -50,7 +50,7 @@ + <?php $reason=$row['port_last_fail_reason']?> + <td class="<?php if(!empty($port_fail_reasons[$reason]['type']))echo "fail_reason_".$port_fail_reasons[$reason]['type']?>"> + <?php $href=isset($port_fail_reasons[$reason]['link']) ? "index.php?action=display_failure_reasons&failure_reason_tag=$reason#$reason" : "#"?> +- <a href="<?php echo $href?>" class="<?php if(!empty($port_fail_reasons[$reason]['type']))echo "fail_reason_".$port_fail_reasons[$reason]['type']?>" title="<?php if(!empty($port_fail_reasons[$reason]['descr']))echo $port_fail_reasons[$reason]['descr']?>"><?php $reason?></a> ++ <a href="<?php echo $href?>" class="<?php if(!empty($port_fail_reasons[$reason]['type']))echo "fail_reason_".$port_fail_reasons[$reason]['type']?>" title="<?php if(!empty($port_fail_reasons[$reason]['descr']))echo $port_fail_reasons[$reason]['descr']?>"><?php echo $reason?></a> + </td> + <td> + <?php if($row['port_link_logfile']){?> |