diff options
| author | Morris Jobke <hey@morrisjobke.de> | 2019-02-25 17:49:29 +0300 |
|---|---|---|
| committer | Morris Jobke <hey@morrisjobke.de> | 2019-02-25 17:49:29 +0300 |
| commit | f7de518ec0cf2d30c23e34a3c058dd7819f7d167 (patch) | |
| tree | 272bc1c48674e77883b338b494d7df75fd541532 /build | |
| parent | be542d3f5378239741950bf0bc90c4a42d030f14 (diff) | |
Exclude Makefile from check
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Diffstat (limited to 'build')
| -rw-r--r-- | build/files-checker.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/files-checker.php b/build/files-checker.php index 2ca726c3b14..8133b96667d 100644 --- a/build/files-checker.php +++ b/build/files-checker.php @@ -59,6 +59,7 @@ $expectedFiles = [ 'index.html', 'index.php', 'lib', + 'Makefile', 'occ', 'ocs', 'ocs-provider', |