diff options
| author | midipix <writeonce@midipix.org> | 2018-06-03 20:36:44 -0400 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2018-06-05 08:21:51 -0400 |
| commit | 6efc00aab1a859d13e127d592eaf8627cb6f9d0f (patch) | |
| tree | e5b3e24a674c5ff055f997b5c884ccfefb38efa4 | |
| parent | c3b00a41c5f74857b9242742c703c0a8ae55931c (diff) | |
| download | mdso-6efc00aab1a859d13e127d592eaf8627cb6f9d0f.tar.bz2 mdso-6efc00aab1a859d13e127d592eaf8627cb6f9d0f.tar.xz | |
build system: configure: added initial dependency tracking support.
| -rw-r--r-- | config.usage | 3 | ||||
| -rwxr-xr-x | configure | 6 |
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: -------------------- @@ -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 |