summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-10 22:35:53 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-10 22:35:53 +0200
commitbd0de3e90064e622151552ab602ec6be8179a8c7 (patch)
treef87213955904cab2d79c6a2516290895b898df39
parent87031efd4d664dcdd8e6d977a3b588d6aa6c2e53 (diff)
rules: Pass -fno-omit-frame-pointer to get traces from gnumach
-rw-r--r--debian/changelog6
-rwxr-xr-xdebian/rules2
2 files changed, 7 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index 389be70c..2bd41cd1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+rumpkernel (0~20211031+repack-3) UNRELEASED; urgency=medium
+
+ * rules: Pass -fno-omit-frame-pointer to get traces from gnumach.
+
+ -- Samuel Thibault <sthibault@debian.org> Thu, 10 Aug 2023 22:35:39 +0200
+
rumpkernel (0~20211031+repack-2) unreleased; urgency=medium
* rules: Fix make clean. set MKDTRACE and MKZFS to no to avoid cross-build
diff --git a/debian/rules b/debian/rules
index 54b6fe58..3e0c923b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -14,7 +14,7 @@ LDFLAGS ?= $(shell dpkg-buildflags --get LDFLAGS)
CFLAGS ?= $(shell dpkg-buildflags --get CFLAGS) $(HOST_CFLAGS)
# Some files use -Wno-format, which then conflicts
-CFLAGS := $(filter-out -Werror=format-security,$(CFLAGS))
+CFLAGS := $(filter-out -Werror=format-security,$(CFLAGS)) -fno-omit-frame-pointer
ifneq (,$(filter parallel=%,$(DEB_BUILD_OPTIONS)))
NUMJOBS = $(patsubst parallel=%,%,$(filter parallel=%,$(DEB_BUILD_OPTIONS)))