Commit 44d4d19c authored by Marco Clemencic's avatar Marco Clemencic
Browse files

Fix to not use directories

See merge request gaudi/Gaudi!1241
parents 4ac24295 81107b0b
Pipeline #3012359 passed with stages
in 27 minutes and 27 seconds
......@@ -12,7 +12,7 @@
from __future__ import print_function
import re
import io
from os.path import join, exists, isabs
from os.path import join, exists, isabs, isdir
INCLUDE_RE = re.compile(r'^\s*#\s*include\s*["<]([^">]*)[">]')
......@@ -56,7 +56,7 @@ def find_deps(filename, searchpath, deps=None):
find_file(, searchpath) for m in
[INCLUDE_RE.match(l) for l in, encoding="utf-8")]
if m
] if f and f not in deps
] if f and f not in deps and not isdir(f)
find_deps(included, searchpath, deps)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment