Trac #29631: don't force SHELL=bash when installing linbox.

This workaround is no longer needed, as I'm regularly installing linbox-1.6.3 with /bin/sh -> /bin/dash.
sagemath · May 5, 2020 · 72291a0 · 72291a0
1 parent bfbaddc
commit 72291a0
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/build/pkgs/linbox/spkg-install.in b/build/pkgs/linbox/spkg-install.in
@@ -23,12 +23,6 @@ fi
 # See trac ticket #21221.
 LINBOX_CONFIGURE="--without-fplll $LINBOX_CONFIGURE"
 
-# Need to use 'bash' for configure, see
-# https://trac.sagemath.org/ticket/23451
-if [ -z "$CONFIG_SHELL" ]; then
-    export CONFIG_SHELL=`command -v bash`
-fi
-
 # We disable openmp because of build failures, see
 # http://trac.sagemath.org/ticket/17635#comment:67
 sdh_configure --with-default="$SAGE_LOCAL" \