From b205b7fe92771e08ce0ac08f8522f128f276d719 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Sun, 1 Jan 2017 16:53:11 -0500
Subject: [PATCH] bash: further disabling exec8.sub

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

diff --git a/helpers/make-bash b/helpers/make-bash
index ab0c93e..772c2f8 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 exit $? >> tests/exec8.sub
+sed '/exec8.sub/d' -i tests/execscript
 
 changelog "Extended explanation for sudo_root, gnu.org #835148"