# HG changeset patch # User HackBot # Date 1376058544 0 # Node ID 5eef5c8ac5ca0de71188c1f240f512b5bb0f374f # Parent f0803faf7164843005b8335604bb1363c33fb222 (head -n 14 bin/gccrun; echo \'#include \'; tail -n +15 bin/gccrun) > /tmp/gccrun && mv /tmp/gccrun bin/gccrun diff -r f0803faf7164 -r 5eef5c8ac5ca bin/gccrun --- a/bin/gccrun Fri Aug 09 14:28:30 2013 +0000 +++ b/bin/gccrun Fri Aug 09 14:29:04 2013 +0000 @@ -12,6 +12,7 @@ f=$(mktemp -d -t gccrun.XXXXXXXX) || exit 1 cat > "$f/command.c" << EOF +#include #define _GNU_SOURCE #include #include