Cryolite/intro — pull request #120 by Cryolite (2014-11-14 09:41:21+00:00)
Title: Renamed option `--with-gdb-check` to `--enable-gdb-check`.

* bootstrap:
* Added the support of `--disable-gdb` command line option.
* Renamed command line options `--with-gdb-check` and
`--without-gdb-check` to `--enable-gdb-check` and `--disable-gdb-check`,
respectively.
* jamroot:
* Added the support of `--disable-gdb` command line option.
* Only the last one of `--enable-gdb` and `--disable-gdb` command line
options is effective.
* Rename command line options `--with-gdb-check` and `--without-gdb-check`
to `--enable-gdb-check` and `--disable-gdb-check`, respectively.
* Only the last one of `--enable-gdb-check` and `--disable-gdb-check`
command line options is effective.