#!/bin/bash # Copyright 2020-2022 Ian Jackson and contributors to Hippotat # SPDX-License-Identifier: GPL-3.0-or-later # There is NO WARRANTY. set -e log="$1"; shift mkdir -p tmp "$@" 2>&1 | ts >"$log"