#!/bin/bash # -*- mode: sh -*- function show_help() { cat < $tmp_file if [ -z $gdb ]; then LD_PRELOAD="$ld_preload" INTEL_DUMP_GPU_CONFIG=$tmp_file "$@" else gdb -iex "set exec-wrapper env LD_PRELOAD=$ld_preload INTEL_DUMP_GPU_CONFIG=$tmp_file" --args "$@" fi ret=$? rm $tmp_file exit $ret