Skip to content
Snippets Groups Projects
Commit 9ac2f654 authored by Ruben Rodriguez's avatar Ruben Rodriguez
Browse files

Fixed build issue in bash

parent a603b588
No related branches found
No related tags found
No related merge requests found
#!/bin/sh
#
# Copyright (C) 2013 Rubén Rodríguez <ruben@trisquel.info>
# Copyright (C) 2013-2016 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
echo > tests/exec8.sub
changelog "Extended explanation for sudo_root, gnu.org #835148"
PARALLEL=false compile
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment