diff options
| author | Eivind Uggedal <eivind@uggedal.com> | 2015-01-09 15:13:00 +0000 |
|---|---|---|
| committer | Eivind Uggedal <eivind@uggedal.com> | 2015-01-09 15:13:00 +0000 |
| commit | 05c03dc3df942b0abd55b4b8a2597f8dbec4f86a (patch) | |
| tree | 13f48a97890cb546ba729864f616c03572a4fa65 | |
| parent | 5637c9384193ab58dd976ac8f388a3547d24489e (diff) | |
| download | xtools-05c03dc3df942b0abd55b4b8a2597f8dbec4f86a.tar.gz xtools-05c03dc3df942b0abd55b4b8a2597f8dbec4f86a.tar.xz xtools-05c03dc3df942b0abd55b4b8a2597f8dbec4f86a.zip | |
xlint: allow nodebug global var
| -rwxr-xr-x | xlint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xlint b/xlint index 89809ef..8ea064d 100755 --- a/xlint +++ b/xlint @@ -58,6 +58,7 @@ make_install_target makedepends mutable_files noarch +nodebug nocross nostrip nostrip_files |