diff --git a/release/bininst b/release/bininst index ce5f60ed388e..22e5a4b1ca3b 100755 --- a/release/bininst +++ b/release/bininst @@ -13,7 +13,7 @@ # putting your name on top after doing something trivial like reindenting # it, just to make it look like you wrote it!). # -# $Id: bininst,v 1.31 1994/11/12 05:04:21 jkh Exp $ +# $Id: bininst,v 1.32 1994/11/12 06:12:27 jkh Exp $ # Some useful constants. PATH=/usr/bin:/usr/sbin:/bin:/sbin:/stand @@ -462,7 +462,7 @@ install_set() ;; cdrom) - if ! mount $media_device /mnt > /dev/ttyv1 2>&1; then + if ! mount_cd9660 $media_device /mnt > /dev/ttyv1 2>&1; then error "Unable to mount $media_device on /mnt" else dialog --title "CDROM Information" $clear \