diff --git a/helpers/make-bash b/helpers/make-bash index 772c2f838fe1a58f3ea0c36432adfca05ee991e1..11c6d281ab1ca8e6679b30644e58b836358ad2d9 100644 --- a/helpers/make-bash +++ b/helpers/make-bash @@ -23,9 +23,6 @@ VERSION=1 sed '/To run a command as administrator/s/$/\n\tTo become root use "sudo -i"./' debian/etc.bash.bashrc -# Hack to fix build failures in flidas. TODO: fix the problem properly -sed '/exec8.sub/d' -i tests/execscript - changelog "Extended explanation for sudo_root, gnu.org #835148" PARALLEL=false compile