#! /bin/bash # # SPDX-License-Identifier: Apache-2.0 source $(dirname $0)/../target.sh gscript=/tmp/init$$.gdb cat > $gscript <