#!/bin/bash

set -e

sudo docker build -t breitner-diss docker-setup

for p in patches/*
do
  name="$(basename $p .patch)"
  sudo docker run -i --tty --rm -v $PWD:/logs breitner-diss ./patch-and-run.sh $name
done