skip_installhdrs.sh   [plain text]

#!/bin/bash

if [[ "x${ACTION}" == "xinstallhdrs" ]]; then
	exit 0
fi

$@