From 0612cde89a421d24ea526047d4656608cfdae3ed Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Sat, 3 Jun 2017 11:53:15 -0400
Subject: [PATCH] bash: fix build issue

---
 helpers/make-bash | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/helpers/make-bash b/helpers/make-bash
index e1ff36cb..513e38d9 100644
--- a/helpers/make-bash
+++ b/helpers/make-bash
@@ -1,6 +1,6 @@
 #!/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
-- 
GitLab