Bug#280372: installs IP22 binary on IP32

[Frans Pop <aragorn@tiscali.nl>]

On Tuesday 09 November 2004 00:34, Martin Michlmayr wrote:
> +# mount proc since arcboot needs it to decide between IP22 and IP32
> +mount -t proc none /target/proc || true

Wouldn't it be cleaner to test first if /target/proc was already mounted
(with 'mount | grep -q "on /target/proc"')?

>  apt-install arcboot
>  chroot /target /usr/sbin/arcboot $bootdev
> +umount /target/proc || true

This way you will umount /target/proc even if it was mounted before this 
postinst was called.

>  set -e
>
>  #if ! apt-install arcboot; then