From 49810f80e1837d9366d54102440ed0a446832a22 Mon Sep 17 00:00:00 2001
From: Gianfranco Costamagna <costamagnagianfranco@yahoo.it>
Date: Sat, 2 Nov 2019 09:42:08 +0100
Subject: [PATCH] Add also Ubuntu focal to the gcc-8 arch list

---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index e276d105..7dcc21f3 100755
--- a/debian/rules
+++ b/debian/rules
@@ -76,7 +76,7 @@ ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' lib
 	Z3_FLAG = -DLLVM_ENABLE_Z3_SOLVER=ON
 endif
 
-FORCE_NOT_GCC_9_DISTRO := eoan bullseye sid
+FORCE_NOT_GCC_9_DISTRO := eoan focal bullseye sid
 ifneq (,$(filter $(DISTRO),$(FORCE_NOT_GCC_9_DISTRO)))
 # Force gcc before 9 (gcc 8 on Debian unstable) because it causes
 # huge increase of the size of the .deb (because of .a and .so) and issues in the libs