changeset 8783:ecf07adbdcfe

<fizzie> ` sed -i -e \'s/"${@--O0}"/-O0/\' share/candide
author HackBot
date Sun, 10 Jul 2016 09:06:06 +0000
parents b1e4c3fdb2e8
children d1d589eea623
files share/candide
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/share/candide	Sun Jul 10 09:01:20 2016 +0000
+++ b/share/candide	Sun Jul 10 09:06:06 2016 +0000
@@ -26,7 +26,7 @@
 ); 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; }; }
+gcc -o "$out" -x c -I /hackenv/share -O0 /dev/fd/0 <<SOURCE && { "$out" && { rm -f "$out"; true; }; }
 #include "headers"    /* precompiled headers */
 $c
 SOURCE