+ if ($gdbindex||$dwz) {
+ for my $key (keys(%flags)) {
+ writefile "$baretestsuite/hammock-$key",''
+ .' GDB="'.$baretestsuite.'/gdb/gdb -data-directory '.$baretestsuite.'/gdb/data-directory"'
+ .' GDB_ADD_INDEX='.$baretestsuite.'/gdb/contrib/gdb-add-index.sh'
+ .' '.$baretestsuite.'/gdb/contrib/cc-with-tweaks.sh '
+ .(!$gdbindex?'':' -i')
+ .(!$dwz?'':' -m')
+ .' '.$flags{$key}.' "$@"'
+ ."\n";
+ }
+ }