Commit 0612cde8 by Ruben Rodriguez

bash: fix build issue

parent c7c0a98f
#!/bin/sh
#
# Copyright (C) 2013 Rubén Rodríguez <ruben@trisquel.info>
# Copyright (C) 2013-2017 Ruben Rodriguez <ruben@trisquel.info>
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
......@@ -23,6 +23,9 @@ 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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment