| Log Message: |
* configure.ac (--with-debug-info): New option.
* devtools/Device.am: Replace hard-coded debug information
options by CDEBUG or ASDEBUG, respectively.
* devtools/Architecture.am: (Dito.)
* doc/api/tools-install.dox: Document the new option here, too.
|