blob: ca347969f7d03db9f16d6896b177ce517219049e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/sh
set -e
if [ "$1" = "upgrade" ] || [ "$1" = "configure" ]; then
update-alternatives --quiet --remove @TARGET@-gcc /usr/bin/@TARGET@-gcc-@BV@
update-alternatives --quiet --remove @TARGET@-gcov /usr/bin/@TARGET@-gcov-@BV@
fi
#DEBHELPER#
exit 0
|