#!/usr/bin/env bash if (( $# >= 1 )); then image=$1 build_file=build-${image%:*} shift 1 make_arg=$* echo "make arg: $make_arg" #echo "Pulling dockcross/$image" #docker pull dockcross/"$image" echo "Make script dockcross-$image" docker run --rm dockcross/"$image" > ./dockcross-"$image" chmod +x ./dockcross-"$image" echo "Build $build_file" ./dockcross-"$image" bash -c 'make CXX=${CXX} CC=${CC} AR=${AR} AS=${AS} LD=${LD} CPP=${CPP} FC=${FC} '"$make_arg" else echo "Usage: ${0##*/} " exit 1 fi