diff options
-rwxr-xr-x | release/scripts/bininst.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/release/scripts/bininst.sh b/release/scripts/bininst.sh index e23c68b..04c2f41 100755 --- a/release/scripts/bininst.sh +++ b/release/scripts/bininst.sh @@ -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.sh,v 1.6 1995/02/02 04:57:05 jkh Exp $ +# $Id: bininst.sh,v 1.7 1995/02/02 08:31:35 jkh Exp $ # Grab the miscellaneous functions. . /stand/scripts/miscfuncs.sh @@ -77,7 +77,6 @@ if media_select_distribution; then media_install_set done fi -else do_last_config fi |