From 9bb066f2bb47cb4fed8391f11a01891d0cef1ca2 Mon Sep 17 00:00:00 2001
From: Mathieu Velten <matmaul@gmail.com>
Date: Tue, 24 Sep 2019 11:53:20 +0200
Subject: [PATCH] Enable ARM32 build

---
 flathub.json                                | 3 ---
 org.freedesktop.Sdk.Extension.openjdk8.json | 1 +
 2 files changed, 1 insertion(+), 3 deletions(-)
 delete mode 100644 flathub.json

diff --git a/flathub.json b/flathub.json
deleted file mode 100644
index afad4c3..0000000
--- a/flathub.json
+++ /dev/null
@@ -1,3 +0,0 @@
-{
-    "skip-arches": ["arm"]
-}
diff --git a/org.freedesktop.Sdk.Extension.openjdk8.json b/org.freedesktop.Sdk.Extension.openjdk8.json
index 6d73ce3..8f60645 100644
--- a/org.freedesktop.Sdk.Extension.openjdk8.json
+++ b/org.freedesktop.Sdk.Extension.openjdk8.json
@@ -104,6 +104,7 @@
                 "--enable-unlimited-crypto",
                 "--with-zlib=system",
                 "--with-giflib=system",
+                "--disable-precompiled-headers",
                 "--with-extra-cxxflags=-O2 -g -Wno-error -std=gnu++98 -fno-delete-null-pointer-checks -fno-lifetime-dse",
                 "--with-extra-cflags=-O2 -g -fstack-protector-strong -Wno-error -fno-delete-null-pointer-checks -fno-lifetime-dse",
                 "--with-extra-ldflags=-Wl,-z,relro -Wl,-z,now"