diff options
Diffstat (limited to 'benchmarks/unixbench/files/patch-ad')
| -rw-r--r-- | benchmarks/unixbench/files/patch-ad | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/benchmarks/unixbench/files/patch-ad b/benchmarks/unixbench/files/patch-ad new file mode 100644 index 000000000000..12de4faa1333 --- /dev/null +++ b/benchmarks/unixbench/files/patch-ad @@ -0,0 +1,17 @@ +*** pgms/cleanup.sh.orig Wed Feb 5 11:08:37 1992 +--- pgms/cleanup.sh Wed Jan 3 19:27:21 1996 +*************** +*** 87,92 **** + + -r) : reason for failure +! echo $1 +! echo $1 >>$LOGFILE + shift + ;; +--- 87,92 ---- + + -r) : reason for failure +! echo -e $1 +! echo -e $1 >>$LOGFILE + shift + ;; |