diff options
Diffstat (limited to 'benchmarks')
-rw-r--r-- | benchmarks/dbs/files/patch-ag | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/benchmarks/dbs/files/patch-ag b/benchmarks/dbs/files/patch-ag new file mode 100644 index 000000000000..6353e42e5946 --- /dev/null +++ b/benchmarks/dbs/files/patch-ag @@ -0,0 +1,11 @@ +--- src/tcp_trace.c-- Thu Nov 2 23:00:13 2000 ++++ src/tcp_trace.c Thu Nov 2 23:00:33 2000 +@@ -307,7 +307,7 @@ + #ifdef _PATH_UNIX + system = _PATH_UNIX; + #else +- system = "/vmunix"; ++ system = "/kernel"; + #endif + #endif + |