delete libopts generated files if system libopts is being used
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 6 Nov 2013 19:41:51 +0000 (20:41 +0100)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 6 Nov 2013 19:41:51 +0000 (20:41 +0100)
commitc9835bcd86cf13a933c3c78112307b1863baee2d
tree5d60fbd708d1a0a81c7c21e8f2193d202b9b2d45
parentf91850c0c1fc345bb4dfaa0266141d85ddfd7b07
delete libopts generated files if system libopts is being used
configure.ac