From f7de518ec0cf2d30c23e34a3c058dd7819f7d167 Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Mon, 25 Feb 2019 15:49:29 +0100
Subject: [PATCH] Exclude Makefile from check

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
---
 build/files-checker.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build/files-checker.php b/build/files-checker.php
index 2ca726c3b1..8133b96667 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',