| #!/bin/bash |
| |
| # Pass updated files in $updated_files environment variable |
| |
| # enc_bootloader |
| if ! echo "$updated_files" | grep -q "^enc_bootloader/.*\.elf$"; then |
| echo "Checking enc_bootloader files for modifications as ELFs have not been updated" |
| for file in enc_bootloader/*; do |
| if [[ "$file" == "enc_bootloader/CMakeLists.txt" || "$file" == "enc_bootloader/BUILD.bazel" ]]; then |
| continue |
| fi |
| if [[ "$updated_files" == *"$file"* ]]; then |
| echo "File $file is in the PR but enc_bootloader ELFs have not been updated" |
| exit 1 |
| fi |
| done |
| fi |
| |
| # picoboot_flash_id |
| if ! echo "$updated_files" | grep -q "^picoboot_flash_id/.*\.bin$"; then |
| echo "Checking picoboot_flash_id files for modifications as BINs have not been updated" |
| for file in picoboot_flash_id/*; do |
| if [[ "$file" == "picoboot_flash_id/CMakeLists.txt" || "$file" == "picoboot_flash_id/BUILD.bazel" ]]; then |
| continue |
| fi |
| if [[ "$updated_files" == *"$file"* ]]; then |
| echo "File $file is in the PR but flash_id BINs have not been updated" |
| exit 1 |
| fi |
| done |
| fi |
| |
| # xip_ram_perms |
| if ! echo "$updated_files" | grep -q "^xip_ram_perms/.*\.elf$"; then |
| echo "Checking xip_ram_perms files for modifications as ELFs have not been updated" |
| for file in xip_ram_perms/*; do |
| if [[ "$file" == "xip_ram_perms/CMakeLists.txt" || "$file" == "xip_ram_perms/BUILD.bazel" ]]; then |
| continue |
| fi |
| if [[ "$updated_files" == *"$file"* ]]; then |
| echo "File $file is in the PR but xip_ram_perms ELFs have not been updated" |
| exit 1 |
| fi |
| done |
| fi |