AMiRo-OS

  printf "          -i, --init\n"

  printf "              Initialize ChibiOS submodule.\n"

  printf "          -p, --patch,\n"

  printf "          -d, --documentation <option>\n"

  printf "              Possible options are: 'g' and 'o' (can be combined).\n"

  printf "              - g: Generate HTML documentation of ChibiOS.\n"

    for patch in $patches; do

      cp $patch .

      patch=$(basename $patch)

      git apply --whitespace=nowarn --ignore-space-change --ignore-whitespace < $patch 2>&1 | tee -a $LOG_FILE

      rm $patch

#      # These lines are disabled for safety reasons: