# HG changeset patch # User HackBot # Date 1376058488 0 # Node ID 492dcdc07d898d009c04c4943def62757a6680e6 # Parent 92909601a36db034ad6aa5662f26511c1703f26f (head -n 14 bin/gccrun; echo \'#include \'; tail -n +14 bin/gccrun) > /tmp/gccrun && mv /tmp/gccrun bin/gccrun diff -r 92909601a36d -r 492dcdc07d89 bin/gccrun --- a/bin/gccrun Fri Aug 09 14:23:32 2013 +0000 +++ b/bin/gccrun Fri Aug 09 14:28:08 2013 +0000 @@ -12,6 +12,8 @@ f=$(mktemp -d -t gccrun.XXXXXXXX) || exit 1 cat > "$f/command.c" << EOF +#include +cat > "$f/command.c" << EOF #define _GNU_SOURCE #include #include