# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1564773000 -7200
# Node ID 0950e7783fdef94a9b44eb5d891cd8130101ba92
# Parent  5e8b6691ded2da9341858f7ce9e41d7269f6a55c
shells/bash: not the default shell anymore

diff -r 5e8b6691ded2 -r 0950e7783fde shells/bash/bash.sh
--- 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