diff options
Diffstat (limited to 'misc/dejagnu')
| -rw-r--r-- | misc/dejagnu/Makefile | 2 | ||||
| -rw-r--r-- | misc/dejagnu/files/patch-dejagnu.h | 11 |
2 files changed, 12 insertions, 1 deletions
diff --git a/misc/dejagnu/Makefile b/misc/dejagnu/Makefile index f01609262cf6..c381d4d79334 100644 --- a/misc/dejagnu/Makefile +++ b/misc/dejagnu/Makefile @@ -7,7 +7,7 @@ PORTNAME= dejagnu PORTVERSION= 1.4.4 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= misc tcl tk MASTER_SITES= ${MASTER_SITE_GNU} MASTER_SITE_SUBDIR= ${PORTNAME} diff --git a/misc/dejagnu/files/patch-dejagnu.h b/misc/dejagnu/files/patch-dejagnu.h new file mode 100644 index 000000000000..8596d320d34c --- /dev/null +++ b/misc/dejagnu/files/patch-dejagnu.h @@ -0,0 +1,11 @@ +--- dejagnu.h.orig 2009-02-27 10:06:02.041427718 +0100 ++++ dejagnu.h 2009-02-27 10:06:11.829233615 +0100 +@@ -136,7 +136,7 @@ + if (untest) + printf ("\t#untested:\t\t%d\n", untest); + if (unresolve) +- printf ("\t#unresolved:\t\t%d\n", unresolved); ++ printf ("\t#unresolved:\t\t%d\n", unresolve); + } + + #ifdef __cplusplus |