diff options
| author | imp <imp@FreeBSD.org> | 2011-05-22 18:12:59 +0000 |
|---|---|---|
| committer | imp <imp@FreeBSD.org> | 2011-05-22 18:12:59 +0000 |
| commit | a0d11553bffbf13ae6a23219a10151fc0d4b0f96 (patch) | |
| tree | eb83cc1c3d1004b15d5f930274d1ca348c63e3c4 /tools | |
| parent | 4141ab456de2f389784e6f735043fb38d6b1f129 (diff) | |
| download | FreeBSD-src-a0d11553bffbf13ae6a23219a10151fc0d4b0f96.zip FreeBSD-src-a0d11553bffbf13ae6a23219a10151fc0d4b0f96.tar.gz | |
Add documentation for WITHOUT_KERNEL_SYMBOLS
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build/options/WITHOUT_KERNEL_SYMBOLS | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/build/options/WITHOUT_KERNEL_SYMBOLS b/tools/build/options/WITHOUT_KERNEL_SYMBOLS new file mode 100644 index 0000000..45fa133 --- /dev/null +++ b/tools/build/options/WITHOUT_KERNEL_SYMBOLS @@ -0,0 +1,4 @@ +.\" $FreeBSD$ +Set to not install kernel symbol files. +This option is recommended for those people who have small root partitions. + |
