|
@@ -544,7 +544,12 @@ class ServerOptions(Options):
|
|
base = '.'
|
|
base = '.'
|
|
for pattern in files:
|
|
for pattern in files:
|
|
pattern = os.path.join(base, pattern)
|
|
pattern = os.path.join(base, pattern)
|
|
- for filename in glob.glob(pattern):
|
|
|
|
|
|
+ filenames = glob.glob(pattern)
|
|
|
|
+ if not filenames:
|
|
|
|
+ self.parse_warnings.append(
|
|
|
|
+ 'No file matches via include "%s"' % pattern)
|
|
|
|
+ continue
|
|
|
|
+ for filename in filenames:
|
|
self.parse_warnings.append(
|
|
self.parse_warnings.append(
|
|
'Included extra file "%s" during parsing' % filename)
|
|
'Included extra file "%s" during parsing' % filename)
|
|
try:
|
|
try:
|