summary refs log tree commit diff
diff options
context:
space:
mode:
authorChristian Neukirchen <chneukirchen@gmail.com>2014-10-29 20:31:55 +0100
committerChristian Neukirchen <chneukirchen@gmail.com>2014-10-29 20:31:55 +0100
commit3398a5f29db6930dbb18ecb8b01e20d335ce2f1f (patch)
tree9e43c235f3cfca52d939a08e972c66b7af247e1b
parent078a7cab6ca6825789f8473e472d33b0a7d533ea (diff)
downloadxtools-3398a5f29db6930dbb18ecb8b01e20d335ce2f1f.tar.gz
xtools-3398a5f29db6930dbb18ecb8b01e20d335ce2f1f.tar.xz
xtools-3398a5f29db6930dbb18ecb8b01e20d335ce2f1f.zip
xlint: add disable_debug
-rwxr-xr-xxlint1
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