diff options
| -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', |