diff options
| author | Christian Neukirchen <chneukirchen@gmail.com> | 2014-10-29 20:31:55 +0100 |
|---|---|---|
| committer | Christian Neukirchen <chneukirchen@gmail.com> | 2014-10-29 20:31:55 +0100 |
| commit | 3398a5f29db6930dbb18ecb8b01e20d335ce2f1f (patch) | |
| tree | 9e43c235f3cfca52d939a08e972c66b7af247e1b | |
| parent | 078a7cab6ca6825789f8473e472d33b0a7d533ea (diff) | |
| download | xtools-3398a5f29db6930dbb18ecb8b01e20d335ce2f1f.tar.gz xtools-3398a5f29db6930dbb18ecb8b01e20d335ce2f1f.tar.xz xtools-3398a5f29db6930dbb18ecb8b01e20d335ce2f1f.zip | |
xlint: add disable_debug
| -rwxr-xr-x | xlint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xlint b/xlint index bd1ccc1..acbe3d2 100755 --- a/xlint +++ b/xlint @@ -31,6 +31,7 @@ conflicts create_wrksrc depends desc_option_.* +disable_debug disable_parallel_build distfiles dkms_modules |