Skip to content

Commit b801970

Browse files
authored
Merge pull request #515 from theotherjimmy/ignore-root-makefile
Ignore root makefiles only
2 parents 3fbb772 + e41971f commit b801970

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

mbed/mbed.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@
7979
"*.eww",
8080

8181
# GCC make
82-
"Makefile",
82+
"/Makefile",
8383
"Debug",
8484

8585
# HTML files

0 commit comments

Comments
 (0)