Make building devtools optional
Make building devtools optional (part 2) | Add a per application configure.in (starting with --enable-devtools)