#!/bin/bash -eu

. debian/debian.env

# Ovveride default GCC version to the default in Jammy
GCC="gcc-12"

# Override options in rules.d/hooks.mk (normally master does not have this
# file but it got added for generic annotations enforcement. Must replace the
# file, otherwise it continues to grow.
cat <<EOD >"${DEBIAN}/rules.d/hooks.mk"
do_libc_dev_package	= false
do_doc_package		= false
do_tools_common		= false
do_tools_host		= false
do_lib_rust		= false
do_tools_rtla		= false
gcc	= $GCC
EOD

