#! /bin/sh if [ "${1}" = remove ]; then if [ "x$(cat /etc/proteanos_arch)" = 'x@PKG_TARGET_ARCH@' ]; then rm -f /usr/bin/gcc update-alternatives --remove cc /usr/bin/gcc fi fi