summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2018-06-03 20:36:44 -0400
committermidipix <writeonce@midipix.org>2018-06-05 08:21:56 -0400
commit93c49a4936b9c676d1f1f5fc15bba4cd676f713a (patch)
tree3580289a1e37f9b4faa74d4070724d8f737ccd97
parentaa17d2041a35275b696e2c45a75c2c7fb04318ce (diff)
downloadperk-93c49a4936b9c676d1f1f5fc15bba4cd676f713a.tar.bz2
perk-93c49a4936b9c676d1f1f5fc15bba4cd676f713a.tar.xz
build system: configure: added initial dependency tracking support.
-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