diff --git a/.github/workflows/scripts/run_oft.sh b/.github/workflows/scripts/run_oft.sh index 2762eee2..5d93d291 100644 --- a/.github/workflows/scripts/run_oft.sh +++ b/.github/workflows/scripts/run_oft.sh @@ -8,7 +8,7 @@ oft_version="4.1.0" base_dir="$1" shift 1 -src_dir="$2" +src_dir="$1" shift 1 additional_options=$@ readonly base_dir