diff options
-rwxr-xr-x | run-ci | 9 | ||||
-rwxr-xr-x | scripts/parse_registries.py | 2 |
2 files changed, 10 insertions, 1 deletions
diff --git a/run-ci b/run-ci new file mode 100755 index 0000000000..85779d50c7 --- /dev/null +++ b/run-ci @@ -0,0 +1,9 @@ +#!/bin/bash +# generate the generatable files in CI to make sure they haven't changed +set -e + +SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) + +"$SCRIPT_DIR/scripts/parse_registries.py" +"$SCRIPT_DIR/scripts/update_schemas.py" +git --no-pager -C "$SCRIPT_DIR" diff --exit-code diff --git a/scripts/parse_registries.py b/scripts/parse_registries.py index 94d5e50d67..d64e540de2 100755 --- a/scripts/parse_registries.py +++ b/scripts/parse_registries.py @@ -50,7 +50,7 @@ def make_getter(dmtf_name, header_name, type_name): def clang_format(filename): - subprocess.check_call(["clang-format-12", "-i", filename]) + subprocess.check_call(["clang-format", "-i", filename]) files = [] |