diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-08-04 13:00:22 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-08-04 13:00:22 -0400 |
commit | 5c2eff7f4e56378a807f0c5e2a32f1e65d8da0b6 (patch) | |
tree | 65df3c30fd770d0ca06c12ae3d1242d73af96fc8 /debian | |
parent | 9c9f7312bbf46c3069935fa190f5bba5ae62b348 (diff) |
remove workaround for old bug #763078
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/cabal-wrapper | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/cabal-wrapper b/debian/cabal-wrapper index 1326aead7..e0623f79f 100755 --- a/debian/cabal-wrapper +++ b/debian/cabal-wrapper @@ -13,8 +13,4 @@ set -e HOME=$(mktemp -d) export HOME -# Temporary workaround for #763078 -PATH=/usr/lib/llvm-3.4/bin:$PATH -export PATH - cabal "$@" |