diff options
| author | jkh <jkh@FreeBSD.org> | 1994-12-17 06:57:45 +0000 |
|---|---|---|
| committer | jkh <jkh@FreeBSD.org> | 1994-12-17 06:57:45 +0000 |
| commit | 035619e808ff193fc59661b88261dd26cc719714 (patch) | |
| tree | 7cadbafc5f026e47b35784fde64e3e7a3d6da912 /release/bininst | |
| parent | 615440cdedfc39ddc3e7a02e3f02ffbaf0427b70 (diff) | |
| download | FreeBSD-src-035619e808ff193fc59661b88261dd26cc719714.zip FreeBSD-src-035619e808ff193fc59661b88261dd26cc719714.tar.gz | |
First cut at making multiple distributions loadable in a single pass.
Diffstat (limited to 'release/bininst')
| -rwxr-xr-x | release/bininst | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/release/bininst b/release/bininst index 51ba0d0..4934e55 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.52 1994/11/30 11:58:28 jkh Exp $ +# $Id: bininst,v 1.53 1994/12/02 15:52:54 jkh Exp $ if [ "${_BININST_LOADED_}" = "yes" ]; then error "Error, $0 loaded more than once!" @@ -127,7 +127,9 @@ set_defaults while [ "${INSTALLING}" = "yes" ]; do if media_select_distribution; then if media_chose; then - media_install_set + for MEDIA_DISTRIBUTION in ${MEDIA_DISTRIBUTIONS}; do + media_install_set + done fi else do_last_config |
