diff options
author | Christian Neukirchen <chneukirchen@gmail.com> | 2015-01-19 11:27:19 +0100 |
---|---|---|
committer | Christian Neukirchen <chneukirchen@gmail.com> | 2015-01-19 11:27:19 +0100 |
commit | 5b3969ccd56555517d82b4236098a1d66540659d (patch) | |
tree | 7ca6704e9e10e7b16b1522633cbebd079215774b | |
parent | 6ceb7fbdc6bf878158691dba443147e2a2fd69d2 (diff) | |
download | xtools-5b3969ccd56555517d82b4236098a1d66540659d.tar.gz xtools-5b3969ccd56555517d82b4236098a1d66540659d.tar.xz xtools-5b3969ccd56555517d82b4236098a1d66540659d.zip |
xlint: add make_cmd.
-rwxr-xr-x | xlint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xlint b/xlint index 00c57f7..d737fce 100755 --- a/xlint +++ b/xlint @@ -52,6 +52,7 @@ license maintainer make_build_args make_build_target +make_cmd make_dirs make_install_args make_install_target |