#!/bin/bash

OSCADA_Check=1 ./oscadaRepBranches \
    "Debian_12_32:rep 1100" "Debian_12_64:rep 1100" "Debian_12_armhf:rep 1100" "Debian_12_arm64:rep 1100" \
    "Debian_11_32:rep 1111" "Debian_11_64:rep 1111" "Debian_11_armhf:rep 1110" "Debian_11_arm64:rep 1110" \
    "Debian_10_32:rep 1110" "Debian_10_64:rep 1110" "Debian_10_armhf:rep 1110" \
    "Debian_9_32:rep 1110" "Debian_9_64:rep 1110" "Debian_9_armhf:rep 1110" \
    "Ubuntu_22.04_32 1110" "Ubuntu_22.04_64 1110" \
    "Ubuntu_20.04_32 1110" "Ubuntu_20.04_64 1110" \
    "Ubuntu_18.04_32 1110" "Ubuntu_18.04_64 1110" \
    "CentOs_8_64:dev 1111" \
    "SuSE_15_64:dev 1010" \
    "Live_Deb12_64 11001" "Live_Deb12_32 11001" \
    "Live_Deb11_64 11101" "Live_Deb11_32 11101" \
    "Live_Deb10_64 11101" "Live_Deb10_32 11101" \
    "Live_Deb9_64 11101" "Live_Deb9_32 11101"