diff --git a/stm32/repro-build.sh b/stm32/repro-build.sh index 6d2774ea..00d4c442 100644 --- a/stm32/repro-build.sh +++ b/stm32/repro-build.sh @@ -47,6 +47,11 @@ else fi cd ../stm32 +if [ -z "$SOURCE_DATE_EPOCH" ] && [ -n "$PUBLISHED_BIN" ]; then + DT=$(basename $PUBLISHED_BIN | cut -d "-" -f1,2,3) + export SOURCE_DATE_EPOCH=$(python -c 'import datetime, sys; sys.stdout.write(str(int(datetime.datetime.strptime(sys.argv[1], "%Y-%m-%dT%H%M").timestamp())))' "$DT") +fi + make setup make all make $TARGETS