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}:
  extends: .target
  variables:
    GLUON_TARGET: ${target}

EOF
done