freebsd-ports/benchmarks/dbs
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
..
files Change the default kernel name assumed by this port from "/vmunix" to 2000-11-02 11:53:27 +00:00
distinfo
Makefile
pkg-comment
pkg-descr
pkg-plist