From bbe28bc668a338da12ebd4a89443e1797084e467 Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Wed, 23 Mar 2022 08:40:44 +0100 Subject: [PATCH] Java: Do not explicitly require python3 when executing the GenerateFlowModel.py. --- .github/workflows/mad_modelDiff.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/mad_modelDiff.yml b/.github/workflows/mad_modelDiff.yml index 3e4111cdfb6..a4b9169b44e 100644 --- a/.github/workflows/mad_modelDiff.yml +++ b/.github/workflows/mad_modelDiff.yml @@ -61,7 +61,7 @@ jobs: DATABASE=$2 cd codeql-$QL_VARIANT SHORTNAME=`basename $DATABASE` - python3 java/ql/src/utils/model-generator/GenerateFlowModel.py $DATABASE $MODELS/${SHORTNAME}.qll + python java/ql/src/utils/model-generator/GenerateFlowModel.py $DATABASE $MODELS/${SHORTNAME}.qll mv $MODELS/${SHORTNAME}.qll $MODELS/${SHORTNAME}Generated_${QL_VARIANT}.qll cd .. }