summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--config.usage3
-rwxr-xr-xconfigure6
2 files changed, 9 insertions, 0 deletions
diff --git a/config.usage b/config.usage
index 6d2efc4..b7c9fce 100644
--- a/config.usage
+++ b/config.usage
@@ -61,6 +61,9 @@ supported switches:
--disable-app
--disable-frontend
+ --enable-dependency-tracking
+ --disable-dependency-tracking
+
supported variables:
--------------------
diff --git a/configure b/configure
index cf72976..49e3d8c 100755
--- a/configure
+++ b/configure
@@ -747,6 +747,12 @@ for arg ; do
mb_source_dir=${arg#*=}
;;
+ # compatibility
+ --enable-dependency-tracking)
+ ;;
+ --disable-dependency-tracking)
+ ;;
+
*)
error_msg ${arg#}: "unsupported config argument."
exit 2