comparison shells/bash/bash.sh @ 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 25cecc6dca48
children ae55d9077f70
comparison
equal deleted inserted replaced
711:5e8b6691ded2 712:0950e7783fde
54 --prefix= \ 54 --prefix= \
55 --without-bash-malloc \ 55 --without-bash-malloc \
56 $with_nls 56 $with_nls
57 make 57 make
58 make install DESTDIR=$DESTDIR 58 make install DESTDIR=$DESTDIR
59 ln -sf bash $DESTDIR/bin/sh
60 59
61 cd .. 60 cd ..
62 rm -rf $PKGNAME-$PKGVERSION 61 rm -rf $PKGNAME-$PKGVERSION
63 } 62 }