From efe7e33b6f707f3014432657d5c6a624ca569571 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Sun, 1 Jan 2017 16:36:44 -0500
Subject: [PATCH] Bash, improved hack to prevent build failure

---
 helpers/make-bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helpers/make-bash b/helpers/make-bash
index c5013e49..ab0c93ef 100644
--- a/helpers/make-bash
+++ b/helpers/make-bash
@@ -24,7 +24,7 @@ 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
+echo exit $? >> tests/exec8.sub
 
 changelog "Extended explanation for sudo_root, gnu.org #835148"
 
-- 
GitLab