diff options
| author | marcel <marcel@FreeBSD.org> | 2012-10-06 19:19:21 +0000 |
|---|---|---|
| committer | marcel <marcel@FreeBSD.org> | 2012-10-06 19:19:21 +0000 |
| commit | bd137de2db94b8668cf1fd550552bb4b41facb0e (patch) | |
| tree | da2d0bce63a7f39427e44b7f31cea3bbb63cc9c4 /tools | |
| parent | 78ade40ed1d3591a0bf9f5a1bb057c1f4084135d (diff) | |
| download | FreeBSD-src-bd137de2db94b8668cf1fd550552bb4b41facb0e.zip FreeBSD-src-bd137de2db94b8668cf1fd550552bb4b41facb0e.tar.gz | |
Add bmake to the build and allow it to be installed as make(1) instead
of FreeBSD's make by setting WITH_BMAKE. The WITH_BMAKE build makes it
easy for people to switch while working out the kinks -- think ports
tree here. The option will be removed in due time.
Submitted by: Simon Gerraty (sjg@juniper.net)
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build/options/WITH_BMAKE | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/build/options/WITH_BMAKE b/tools/build/options/WITH_BMAKE new file mode 100644 index 0000000..2b47121 --- /dev/null +++ b/tools/build/options/WITH_BMAKE @@ -0,0 +1,8 @@ +.\" $FreeBSD$ +Build and install the portable BSD make (bmake) as +.Xr make 1 +instead of the traditional FreeBSD make. +This build option is temporary. +It allows developers to switch to bmake in order to work out any remaining +kinks or issues. +This option will be removed in due time. |
