summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorSamuel Lidén Borell <samuel@primekey.se>2012-04-05 16:27:31 +0200
committerSamuel Lidén Borell <samuel@primekey.se>2012-04-05 16:30:48 +0200
commit93d7da68f54f415f74e0e57cb832a6da01ab32cc (patch)
treede09335c0e2647a59244b74c9423622e1dcdc604 /configure
parent6ec99d01176347db079ef5203dbd68b10f3c2652 (diff)
downloadfribid-93d7da68f54f415f74e0e57cb832a6da01ab32cc.tar.gz
fribid-93d7da68f54f415f74e0e57cb832a6da01ab32cc.tar.bz2
fribid-93d7da68f54f415f74e0e57cb832a6da01ab32cc.zip
Configure script: Ignore GNU/autoconf options that are safe to ignore
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 12 insertions, 0 deletions
diff --git a/configure b/configure
index 77da85e..11bf62e 100755
--- a/configure
+++ b/configure
@@ -156,6 +156,18 @@ Options:
[ ! -h "$link" ] || [ "`readlink "$link"`" != "$target" ] || rm -f "$link"
exit 0
;;
+ # Some tools (e.g. Debian package tools) expect "configure" to be a
+ # true autoconf script and implement its options. These options are safely
+ # ignored by this build system.
+ --disable-dependency-tracking)
+ # Dependencies are hard-coded in the Makefile anyway
+ ;;
+ --disable-maintainer-mode|--enable-maintainer-mode)
+ # No files are written to except common/config.h
+ ;;
+ --bindir=*|--includedir=*|--infodir=*|--localstatedir=*|--oldincludedir=*|--sbindir=*|--sharedstatedir=*|--sysconfdir=*|--htmldir=*|--dvidir=*|--pdfdir=*|--psdir=*)
+ # These are standard GNU directory options. They are not used by FriBID
+ ;;
*)
echo "Invalid option: $flag"
error=1