Commit c2e4f5fc authored by Ansgar Burchardt's avatar Ansgar Burchardt

duneci-update: script to rebuild images from Git

parent 37a3731b
#! /bin/sh
set -e
set -u
logdir="${HOME}/log/$(date +%Y)"
dockerdir="${HOME}/dune-docker"
logfile="${logdir}/$(date +%Y-%m-%d)"
mkdir -p -- "${logdir}"
cd "${dockerdir}"
rm -f dune-git-stamp
make dune-git-stamp > "${logfile}-dune-git" 2>&1
rm -f dune-fufem-git-stamp
make dune-fufem-git-stamp > "${logfile}-dune-fufem-git" 2>&1
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment