1 #!/bin/bash

     1 #!/bin/bash

     2 

     2 

     3 set -e

     3 set -e

     4 trap '[[ $SORRY ]] && echo "FAILED: $SORRY" >&2' EXIT

     6 trap '[[ $SORRY ]] && echo "FAILED: $SORRY" >&2' EXIT

     5 

     7 

     6 # update the Dockerfiles for the platforms

     8 # update the Dockerfiles for the platforms

     7 make -C platforms

     9 make -C platforms

     8 

    10