3rdparty: Fix Makefile coding conventions
diff --git a/3rdparty/Makefile.inc b/3rdparty/Makefile.inc
index 757bd5f..51080b7 100755
--- a/3rdparty/Makefile.inc
+++ b/3rdparty/Makefile.inc
@@ -1 +1,2 @@
-include ../3rdparty/everest/Makefile.inc
\ No newline at end of file
+include ../3rdparty/everest/Makefile.inc
+
diff --git a/3rdparty/everest/Makefile.inc b/3rdparty/everest/Makefile.inc
old mode 100755
new mode 100644
index 0b71e2a..7ca70ec
--- a/3rdparty/everest/Makefile.inc
+++ b/3rdparty/everest/Makefile.inc
@@ -16,3 +16,4 @@
../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o
endif
endif
+
diff --git a/tests/scripts/check-files.py b/tests/scripts/check-files.py
index 255bed8..6e35f52 100755
--- a/tests/scripts/check-files.py
+++ b/tests/scripts/check-files.py
@@ -144,6 +144,7 @@
heading = "Tabs present:"
files_exemptions = frozenset([
"Makefile",
+ "Makefile.inc",
"generate_visualc_files.pl",
])
@@ -181,7 +182,7 @@
self.setup_logger(log_file)
self.files_to_check = (
".c", ".h", ".sh", ".pl", ".py", ".md", ".function", ".data",
- "Makefile", "CMakeLists.txt", "ChangeLog"
+ "Makefile", "Makefile.inc", "CMakeLists.txt", "ChangeLog"
)
self.excluded_directories = ['.git', 'mbed-os']
self.excluded_paths = list(map(os.path.normpath, [