From dd8722de03ceb3e24c7c1cea58fec7ce7011f5af Mon Sep 17 00:00:00 2001 From: Ruben Rodriguez <ruben@trisquel.info> Date: Sun, 15 Apr 2018 23:36:51 -0400 Subject: [PATCH] Corrected build setup for orca, bumped version --- helpers/make-gnome-orca | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/helpers/make-gnome-orca b/helpers/make-gnome-orca index 41929963d..f873fb1c5 100644 --- a/helpers/make-gnome-orca +++ b/helpers/make-gnome-orca @@ -17,13 +17,12 @@ # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA # -VERSION=2 +VERSION=3 EXTERNAL='deb-src http://archive.ubuntu.com/ubuntu artful main' +COMPONENT=main . ./config -sed '/debhelper/s/10/9/' -i debian/control debian/control.in - cat << EOF | patch -p1 --- a/src/orca/orca.py 2015-11-09 09:07:53.000000000 -0500 +++ b/src/orca/orca.py 2018-04-01 00:57:01.426307608 -0400 -- GitLab