]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
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)
configure.ac

index 4459b94fee2e30c7156a46ff3194f621cdedf02f..d7215d1b102d0e652ed2d6f79f5100e613bf6e81 100644 (file)
@@ -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,
   [