mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-26 00:55:14 +00:00
Code Issues Releases Activity

Change the default kernel name assumed by this port from "/vmunix" to

Browse Source 
"/kernel".

Reported by:	Marc Emmelmann <emmelmann@fokus.gmd.de>
This commit is contained in:
Joseph Koshy 2000-11-02 11:53:27 +00:00
parent f19802cc3b
commit 44981116e3
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=34629
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
benchmarks/dbs/files/patch-ag Normal file
View File

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