From: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Date: Fri, 17 May 2024 14:59:56 +0800
Subject: debian-changes

---
 src/arch/x86/prefix/romprefix.S | 2 ++
 src/bin/.gitignore              | 1 -
 src/util/elf2efi.c              | 1 +
 3 files changed, 3 insertions(+), 1 deletion(-)
 delete mode 100644 src/bin/.gitignore

diff --git a/src/arch/x86/prefix/romprefix.S b/src/arch/x86/prefix/romprefix.S
index 4e8793c..854e816 100644
--- a/src/arch/x86/prefix/romprefix.S
+++ b/src/arch/x86/prefix/romprefix.S
@@ -28,7 +28,9 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL )
 #define PCI_FUNC_MASK 0x07
 
 /* ROM banner timeout, converted to a number of (18Hz) timer ticks. */
+#ifndef ROM_BANNER_TIMEOUT_TICKS
 #define ROM_BANNER_TIMEOUT_TICKS ( ( 18 * ROM_BANNER_TIMEOUT ) / 10 )
+#endif
 
 /* Allow payload to be excluded from ROM size
  */
diff --git a/src/bin/.gitignore b/src/bin/.gitignore
deleted file mode 100644
index 72e8ffc..0000000
--- a/src/bin/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-*
diff --git a/src/util/elf2efi.c b/src/util/elf2efi.c
index 08d790f..1422bc3 100644
--- a/src/util/elf2efi.c
+++ b/src/util/elf2efi.c
@@ -18,6 +18,7 @@
  */
 
 #define FILE_LICENCE(...) extern void __file_licence ( void )
+#define _GNU_SOURCE
 #include <stdint.h>
 #include <stddef.h>
 #include <stdlib.h>
