#!/bin/sh
TS=$(grep timestamp leo/core/commit_timestamp.json | sed 's/.*: "//; s/"//')
echo >> "$1"
echo Leo build: $TS >> "$1"
