fx

Author: kroening

regression/goto-instrument-chc/chain.sh

@@ -12,6 +12,8 @@ set -- $sources
 target=${*:$#}
 target=${target%.c}
 
+echo DEBUG: `basename "${goto_cc}"`
+
 if [[ `basename "${goto_cc}"` == "goto-cl" ]]; then
   $goto_cc ${sources} "/Fe${target}.gb"
 else