History log of /seL4-l4v-10.1.1/seL4/tools/circular_includes.py
Revision Date Author Comments
# 2bf255c8 21-Aug-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

tools: Ignore option for circular_includes script

Added an "ignore" argument to the circular_includes script. This
allows the caller to specify files for the script to ignore when
it parses the source file. Rather than creating a special
ignore case for "kernel_all.c" in the script itself, the user
parses the file as an argument (plus others if needed). Updated
the kernels cmake file to reflect the change.


# 64cf2308 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

tools: fix licenses


# 3679b883 30-May-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

tools: Make circular_includes check more robust

Allows for an arbitrary path to be applied to kernel_all.c in case the build is not
happening in the current working directory


# 71d02cbf 20-Oct-2016 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

Replace circular includes perl script with python