freebsd-ports/benchmarks/dbs/files/patch-ag
Joseph Koshy 44981116e3 Change the default kernel name assumed by this port from "/vmunix" to
"/kernel".

Reported by:	Marc Emmelmann <emmelmann@fokus.gmd.de>
2000-11-02 11:53:27 +00:00

11 lines
240 B
Text

--- 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