diff options
Diffstat (limited to 'resources/libraries/bash/entry/check_crc.sh')
| -rw-r--r-- | resources/libraries/bash/entry/check_crc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/libraries/bash/entry/check_crc.sh b/resources/libraries/bash/entry/check_crc.sh index 6c91d28a34..798d29a7f0 100644 --- a/resources/libraries/bash/entry/check_crc.sh +++ b/resources/libraries/bash/entry/check_crc.sh @@ -41,5 +41,5 @@ set_perpatch_vpp_dir || die activate_virtualenv "${VPP_DIR}" || die # TODO: Create bash functions for the following one-liners? make json-api-files || die "Generation of .api.json files failed." -python csit/resources/tools/integrated/check_crc.py +python3 csit/resources/tools/integrated/check_crc.py # RuntimeError causes nonzero return code, to vote -1. |