From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Wed, 6 Nov 2013 19:41:51 +0000 (+0100)
Subject: delete libopts generated files if system libopts is being used
X-Git-Tag: gnutls_3_2_7~101
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=c9835bcd86cf13a933c3c78112307b1863baee2d;p=thirdparty%2Fgnutls.git

delete libopts generated files if system libopts is being used
---

diff --git a/configure.ac b/configure.ac
index 4459b94fee..d7215d1b10 100644
--- a/configure.ac
+++ b/configure.ac
@@ -345,6 +345,10 @@ fi
 AM_CONDITIONAL(ENABLE_TROUSERS, test "$with_tpm" != "no")
 
 LIBOPTS_CHECK([src/libopts])
+if [ test "$NEED_LIBOPTS_DIR" != "true" ];then
+	dnl delete libopts-generated files
+	rm -f src/*-args.c src/*-args.h
+fi
 
 AC_CHECK_TYPE(ssize_t,
   [