73ebfe88f6
crunched floppies, but they can be included as options in src/release/picobsd (omitted by default though.) Therefore preserve the RELEASE_CRUNCH knob in their Makefiles, but tell its real purpose in a comment. |
||
---|---|---|
.. | ||
Makefile |