# HG changeset patch # User HackBot # Date 1376059289 0 # Node ID f2cd1846ed06f65752ea7a940bdd82c9d25dbf06 # Parent 5fa45b01f3718971ac312b6d76c341f5251f0221 echo $\'15m29\\n,w\' | ed bin/gccrun diff -r 5fa45b01f371 -r f2cd1846ed06 bin/gccrun --- a/bin/gccrun Fri Aug 09 14:29:49 2013 +0000 +++ b/bin/gccrun Fri Aug 09 14:41:29 2013 +0000 @@ -12,7 +12,6 @@ f=$(mktemp -d -t gccrun.XXXXXXXX) || exit 1 cat > "$f/command.c" << EOF -#include #define _GNU_SOURCE #include #include @@ -27,6 +26,7 @@ #include #include #include +#include int main(int argc, char *argv[], char *envp[]) @@ -46,4 +46,4 @@ fi r=$? rm -r "$f" -exit $r \ No newline at end of file +exit $r