Skip to content

Instantly share code, notes, and snippets.

@goern
Created August 29, 2017 13:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save goern/7f512e54f03b42b63a08ffa3716c8e53 to your computer and use it in GitHub Desktop.
Save goern/7f512e54f03b42b63a08ffa3716c8e53 to your computer and use it in GitHub Desktop.
just a void build log
echo "Starting..."
git clone https://git.example.com/source
make clean
curl -gO https://git.example.com/source/patch-1.diff
patch -p0 < patch-1.diff
rm bogus.c
make all
echo "done!"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment