From 7ed748910f1927a55abdb52511c94f79435d9cd7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Wed, 8 Jul 2020 18:09:02 +0200 Subject: turris: use force-make machinery to not need to debug on server This is now configured so that if build of package fails it runs compilation again with logs printed. --- scripts/force-make | 82 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 82 insertions(+) create mode 100755 scripts/force-make (limited to 'scripts/force-make') diff --git a/scripts/force-make b/scripts/force-make new file mode 100755 index 0000000..7aa6513 --- /dev/null +++ b/scripts/force-make @@ -0,0 +1,82 @@ +#!/bin/bash +# Make wrapper with ability to decrease paralelism and try again. +# (C) 2018-2020 CZ.NIC, z.s.p.o. +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . +set -eu + +usage() { + echo "Usage: $0 [OPTION].. [-- [ARGUMENTS]..]" >&2 +} + +help() { + usage + cat >&2 <