diff options
Diffstat (limited to 'scripts/parse_registries.py')
| -rwxr-xr-x | scripts/parse_registries.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/parse_registries.py b/scripts/parse_registries.py index 8c300eda2e..bc546575e3 100755 --- a/scripts/parse_registries.py +++ b/scripts/parse_registries.py @@ -19,7 +19,9 @@ WARNING = '''/**************************************************************** ***************************************************************/''' REGISTRY_HEADER = PRAGMA_ONCE + WARNING + ''' -#include <registries.hpp> +#include "registries.hpp" + +#include <array> // clang-format off @@ -166,7 +168,9 @@ def get_variable_name_for_privilege_set(privilege_list): PRIVILEGE_HEADER = PRAGMA_ONCE + WARNING + ''' -#include <privileges.hpp> +#include "privileges.hpp" + +#include <array> // clang-format off |