diff options
| author | midipix <writeonce@midipix.org> | 2018-06-03 20:36:44 -0400 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2018-06-05 08:21:58 -0400 |
| commit | 173be21124d5b70489f2fa74140f7bd601b6f172 (patch) | |
| tree | eb06f1bb9f7a74ffacce952776d47ba14865cea5 /configure | |
| parent | f98c2f01d041d5de6f6d81f9ad9b7553c1015c74 (diff) | |
| download | u16ports-173be21124d5b70489f2fa74140f7bd601b6f172.tar.bz2 u16ports-173be21124d5b70489f2fa74140f7bd601b6f172.tar.xz | |
build system: configure: added initial dependency tracking support.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 |