tidied up OpenBSD-vs.-FreeBSD stuff, and src/runtime/Config.x86-*
authorWilliam Harold Newman <william.newman@airmail.net>
Mon, 2 Oct 2000 17:27:10 +0000 (17:27 +0000)
committerWilliam Harold Newman <william.newman@airmail.net>
Mon, 2 Oct 2000 17:27:10 +0000 (17:27 +0000)
commiteaf8fba81bf664086f8f0d5618147a049f168cd5
tree4677f25a3a2571009216d48e1c614ace7b9a2e74
parent3aba91516068375e01ffec0d19bf8cbe85feb828
tidied up OpenBSD-vs.-FreeBSD stuff, and src/runtime/Config.x86-*
make-config.sh
src/cold/warm.lisp
src/runtime/Config.x86-bsd
src/runtime/Config.x86-freebsd [new file with mode: 0644]
src/runtime/Config.x86-linux
src/runtime/Config.x86-openbsd [new file with mode: 0644]
src/runtime/GNUmakefile
version.lisp-expr