#!/usr/bin/env bash set -e redo-ifchg-pipe() { tr '\n' '\0' | xargs -r0 redo-ifchange; } src=${1%.o}.c if grep -q '@BUILD_CC host' "$src"; then compiler=compile-host.tool else compiler=compile.tool fi redo-ifchange "$compiler" .parse-deps.sed "$src" sed -n 's|.*@BUILD_DEP \(.*\)|\1|p' "$src" | redo-ifchg-pipe . "./$compiler" | sed -f .parse-deps.sed | redo-ifchg-pipe