diff options
| author | jkoshy <jkoshy@FreeBSD.org> | 2000-11-02 19:53:27 +0800 |
|---|---|---|
| committer | jkoshy <jkoshy@FreeBSD.org> | 2000-11-02 19:53:27 +0800 |
| commit | d1f3d14973f2555c54250d5cb834b8dc8510a1df (patch) | |
| tree | 04faef0bd83f77e1a016fd87d09bbd9b46ed2360 /benchmarks/dbs | |
| parent | 6c81c2e8ecf3fa94634da6d619417dcdaf8b92f9 (diff) | |
| download | freebsd-ports-gnome-d1f3d14973f2555c54250d5cb834b8dc8510a1df.tar.gz freebsd-ports-gnome-d1f3d14973f2555c54250d5cb834b8dc8510a1df.tar.zst freebsd-ports-gnome-d1f3d14973f2555c54250d5cb834b8dc8510a1df.zip | |
Change the default kernel name assumed by this port from "/vmunix" to
"/kernel".
Reported by: Marc Emmelmann <emmelmann@fokus.gmd.de>
Diffstat (limited to 'benchmarks/dbs')
| -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 + |