aboutsummaryrefslogtreecommitdiffstats
path: root/resources/libraries/bash/entry
diff options
context:
space:
mode:
Diffstat (limited to 'resources/libraries/bash/entry')
-rw-r--r--resources/libraries/bash/entry/check_crc.sh2
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.