diff --git a/scripts/cairo_programs_verifier.sh b/scripts/cairo_programs_verifier.sh index 3eeac213..7c3e6d2c 100755 --- a/scripts/cairo_programs_verifier.sh +++ b/scripts/cairo_programs_verifier.sh @@ -9,7 +9,6 @@ has_errors=false # function to list modified cairo files list_modified_cairo_files() { - echo "git diff $(git diff --name-only main...HEAD -- programs | grep -E 'programs/ch.*/*.cairo$')" git diff --name-only main...HEAD -- listings | grep -E 'listings/ch.*/*.cairo$' } @@ -31,7 +30,7 @@ process_file() { modified_files=$(list_modified_cairo_files) echo "modified files: are $modified_files" for file in $modified_files; do - process_file "$file" & + process_file "$file" done wait # Wait for all background processes to finish