generate-gitlab-ci-targets.sh

#!/bin/bash

set -eu
mydir=$(readlink -f "$(dirname "$0")/..")

make -s -C "$mydir/gluon" GLUON_SITEDIR="$mydir" list-targets | while read target; do
	cat <<EOF
- TARGET: ${target}
EOF
done