#!/bin/bash iterations=1 directory="." targets="" name="" outdir=${PWD} for arg in "$@"; do if [[ $arg == "--help" ]]; then echo "Usage: batch-build [options] targets" echo "Options:" echo " --runs=N [1] Build the specified targets N times" echo " --dir= [.] Makefile directory" echo " --name= [] Name of this batch job. Used as a prefix for build output" echo " --help Print the message and exit" echo "" exit 0 elif [[ $arg =~ "--runs="([0-9]+) ]]; then iterations=${BASH_REMATCH[1]} elif [[ $arg =~ "--dir="(.+) ]]; then directory=${BASH_REMATCH[1]} elif [[ $arg =~ "--name="(.+) ]]; then name=${BASH_REMATCH[1]}"_" else targets=$targets$arg" " fi done cd $directory >/dev/null 2>&1 if [ $? -ne 0 ]; then echo "ERROR: Could not cd to $directory" exit fi for i in $(seq 1 $iterations); do make $targets if [ $? -ne 0 ]; then echo "ERROR: Build Failed!!! Stopping batch build." exit fi cp -rf build ${outdir}/${name}batch-build_$(date +'%Y-%m-%d_%H-%M-%S') make clean done