diff options
author | Kore Nordmann <mail@kore-nordmann.de> | 2013-12-21 12:01:33 +0100 |
---|---|---|
committer | Kore Nordmann <mail@kore-nordmann.de> | 2013-12-21 12:01:33 +0100 |
commit | 1ea392d7df1c842b6bbfe08d35637557b463b9a7 (patch) | |
tree | 78add9bd48c4052b5e0b2b67b45c344610bf207e | |
parent | e8e0cd2aa14c7bc42602e1bef78838f4d3c51e6f (diff) | |
download | zetacomponents-graph-1ea392d7df1c842b6bbfe08d35637557b463b9a7.zip zetacomponents-graph-1ea392d7df1c842b6bbfe08d35637557b463b9a7.tar.gz |
Do not run linting and archiving
-rw-r--r-- | build.properties | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/build.properties b/build.properties index c98da35..3d90551 100644 --- a/build.properties +++ b/build.properties @@ -25,6 +25,8 @@ phpcpd.enabled = false codesniffer.enabled = false phploc.enabled = false -# Ignore codesniffer and PHPCPD failures for now -codesniffer.fail.on.violation = false -phpcpd.fail.on.violation = false +# Disable really slow linting +phplint.enabled = false + +# Disable archive task, takes ages and we don't care +package.archive.enabled = false |