#!/bin/bash set -e -x rm -rf generators/sha3 for p in scripts/tutorial-patches/*.patch do echo "Applying tutorial patch $p" git apply $p done