From 5b788bf0ee899a5813d9c89105ab12dc287d0367 Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Wed, 25 May 2016 15:59:33 +0300 Subject: [PATCH] Remove unneeded workaround for #1388 --- debian-bootstrap.sh | 3 --- 1 file changed, 3 deletions(-) diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh index 4fe8f8e5..8b3cfacb 100755 --- a/debian-bootstrap.sh +++ b/debian-bootstrap.sh @@ -119,6 +119,3 @@ mv /opt/ghc/$GHCVER/share/doc/ghc-$GHCVER/ /opt/ghc/$GHCVER/share/doc/ghc # faster anyways and uses less RAM. update-alternatives --install "/usr/bin/ld" "ld" "/usr/bin/ld.gold" 20 update-alternatives --install "/usr/bin/ld" "ld" "/usr/bin/ld.bfd" 10 - -# See: https://github.com/fpco/stackage/issues/1388 -ln -n /usr/lib/jvm/java-8-openjdk-amd64/jre/lib/amd64/server/libjvm.so /usr/lib