diff options
| author | Leah Neukirchen <leah@vuxu.org> | 2017-11-20 16:48:21 +0100 |
|---|---|---|
| committer | Leah Neukirchen <leah@vuxu.org> | 2017-11-20 16:48:53 +0100 |
| commit | 371e199398adddf9e63a44e0fc7e1e1c287d1dd0 (patch) | |
| tree | d781c8d6ce6ebb573cf04f716efc7b3c260c7cb0 /xlint | |
| parent | c80529b1c3ba3940384db7bb5593d81d12dd2e2e (diff) | |
| download | xtools-371e199398adddf9e63a44e0fc7e1e1c287d1dd0.tar.gz xtools-371e199398adddf9e63a44e0fc7e1e1c287d1dd0.tar.xz xtools-371e199398adddf9e63a44e0fc7e1e1c287d1dd0.zip | |
xlint: add make_check_args, make_check_target
Closes #71.
Diffstat (limited to 'xlint')
| -rwxr-xr-x | xlint | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/xlint b/xlint index a7758d8..ab87270 100755 --- a/xlint +++ b/xlint @@ -81,6 +81,8 @@ license maintainer make_build_args make_build_target +make_check_args +make_check_target make_cmd make_dirs make_install_args |