# HG changeset patch
# User HackBot
# Date 1468142535 0
# Node ID d1d589eea623fbc840faf49080ccf40c9700a8e1
# Parent  ecf07adbdcfe2add0eb6e5210fb55bfbe9da4469
<fizzie> ` sed -i -e \'12s/^/args=""; while [[ "$c" =~ ^(-[^ ]*)\\\\ (.*) ]]; do args="$args ${BASH_REMATCH[1]}"; c="${BASH_REMATCH[2]}"; done\\n/\' -e \'s/-O0/${args--O0}/\' share/candide  # bleh

diff -r ecf07adbdcfe -r d1d589eea623 share/candide
--- a/share/candide	Sun Jul 10 09:06:06 2016 +0000
+++ b/share/candide	Sun Jul 10 09:22:15 2016 +0000
@@ -9,6 +9,7 @@
 }
 
 c="$*"
+args=""; while [[ "$c" =~ ^(-[^ ]*)\ (.*) ]]; do args="$args ${BASH_REMATCH[1]}"; c="${BASH_REMATCH[2]}"; done
 if ! [[ $c ]] || ! out=$(mktemp); then
   echo Error >&2
   exit 1
@@ -25,8 +26,8 @@
 SOURCE
 ); fi
 
-# will replace -O0 with the parameters
-gcc -o "$out" -x c -I /hackenv/share -O0 /dev/fd/0 <<SOURCE && { "$out" && { rm -f "$out"; true; }; }
+# will replace ${args--O0} with the parameters
+gcc -o "$out" -x c -I /hackenv/share ${args--O0} /dev/fd/0 <<SOURCE && { "$out" && { rm -f "$out"; true; }; }
 #include "headers"    /* precompiled headers */
 $c
 SOURCE