From e8e10426bb63d8871aecb7e2ecaf5f724e081d45 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Sun, 1 Jan 2017 17:40:44 -0500
Subject: [PATCH] Bash: build hack no longer needed, found that the problem was
 using "timeout" to run pbuilder

---
 helpers/make-bash | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/helpers/make-bash b/helpers/make-bash
index 772c2f83..11c6d281 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
-- 
GitLab