#!/bin/bash
cd pencil-benchmark
git diff > ../hog.patch