changeset 712:0950e7783fde

shells/bash: not the default shell anymore
author David Demelier <markand@malikania.fr>
date Fri, 02 Aug 2019 21:10:00 +0200
parents 5e8b6691ded2
children 393525a3ecc3
files shells/bash/bash.sh
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/shells/bash/bash.sh	Fri Aug 02 21:00:00 2019 +0200
+++ b/shells/bash/bash.sh	Fri Aug 02 21:10:00 2019 +0200
@@ -56,7 +56,6 @@
 		$with_nls
 	make
 	make install DESTDIR=$DESTDIR
-	ln -sf bash $DESTDIR/bin/sh
 
 	cd ..
 	rm -rf $PKGNAME-$PKGVERSION