diff options
Diffstat (limited to 'benchmarks/randomio/files/patch-Makefile')
| -rw-r--r-- | benchmarks/randomio/files/patch-Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/benchmarks/randomio/files/patch-Makefile b/benchmarks/randomio/files/patch-Makefile index 42d608d1bee0..84b2631e9e6f 100644 --- a/benchmarks/randomio/files/patch-Makefile +++ b/benchmarks/randomio/files/patch-Makefile @@ -1,6 +1,6 @@ ---- Makefile.orig 2010-08-20 19:36:08.000000000 +0400 -+++ Makefile 2010-08-20 19:39:25.000000000 +0400 -@@ -5,3 +5,5 @@ +--- Makefile.orig 2006-11-11 04:39:36 UTC ++++ Makefile +@@ -5,3 +5,5 @@ randomio: randomio.o clean: rm -f *.o randomio |