configure: Add option to disable all command line programs
authorDiego Biurrun <diego@biurrun.de>
Sat, 10 Nov 2012 17:10:59 +0000 (18:10 +0100)
committerDiego Biurrun <diego@biurrun.de>
Wed, 14 Nov 2012 22:03:36 +0000 (23:03 +0100)
commite28b7553aeab8aa0d590683a21a9a6ab113cb433
tree3e9ac43bba79e8575567259db1ba6acd4c4cbbb3
parentb74dbdd5e99aed7f3bf1ecb5da1b374e5ba35768
configure: Add option to disable all command line programs
configure