Set a sane default if --with-dev-headers is given without path
authorMartin Willi <martin@revosec.ch>
Thu, 12 Jul 2012 06:39:54 +0000 (08:39 +0200)
committerMartin Willi <martin@revosec.ch>
Thu, 12 Jul 2012 06:39:54 +0000 (08:39 +0200)
commitbbe5b50567e6a507ca063c41540ddfec8684c271
tree97f1dfc8554d0e65969fdfeb6e5d4b7f99619d79
parent3f6392bc1467777acca138da923eb9ce60204a1e
Set a sane default if --with-dev-headers is given without path
configure.in