diff options
| -rw-r--r-- | ports-mgmt/tinderbox-devel/files/extra-tmpfs.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports-mgmt/tinderbox-devel/files/extra-tmpfs.patch b/ports-mgmt/tinderbox-devel/files/extra-tmpfs.patch index 9e5b4cdee55d..bb3bdb18f8ed 100644 --- a/ports-mgmt/tinderbox-devel/files/extra-tmpfs.patch +++ b/ports-mgmt/tinderbox-devel/files/extra-tmpfs.patch @@ -1,4 +1,4 @@ ---- tinderd.orgi 2010-01-04 21:12:37.000000000 +0100 +--- tinderd.orig 2010-01-04 21:12:37.000000000 +0100 +++ tinderd 2010-01-04 21:14:28.000000000 +0100 @@ -36,12 +36,14 @@ MAIL=$(echo ${ENTRY} | cut -d: -f5) |