#!/usr/bin/env bash # # Build actions used in the Makefile. # # Usage: # ./actions.sh set -o nounset set -o pipefail set -o errexit source build/common.sh write-release-date() { mkdir -p _build # Makefile makes this, but scripts/release.sh needs it too # Write a readable, sortable date that is independent of time zone. date --utc --rfc-3339 seconds > _build/release-date.txt } main-name() { local python_main=${1:-hello} local ovm_bundle_prefix=${2:-hello.ovm} cat <