diff options
| author |  Stephane Glondu <steph@glondu.net> | 2011-04-19 16:57:21 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2011-04-19 16:59:16 +0200 |
| commit | d13e1b888485eb71d559cf2dea65ad1b49704bd8 (patch) | |
| tree | 78b7d7f94a20236e13f418ecc3556165a92ed649 | |
| parent | 3e161d7462ca7977e36ac0cacd0fb1a3d5fe0153 (diff) | |
Add patch to fix thumb2-related build error (Closes: #622882)
| -rw-r--r-- | debian/patches/0001-Fix-thumb2-related-build-error.patch | 25 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 26 insertions, 0 deletions
diff --git a/debian/patches/0001-Fix-thumb2-related-build-error.patch b/debian/patches/0001-Fix-thumb2-related-build-error.patch new file mode 100644 index 00000000..3aab299c --- /dev/null +++ b/debian/patches/0001-Fix-thumb2-related-build-error.patch @@ -0,0 +1,25 @@ +From: Stephane Glondu <steph@glondu.net> +Date: Tue, 19 Apr 2011 12:45:34 +0200 +Subject: Fix thumb2-related build error + +Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=622882 +Signed-off-by: Konstantinos Margaritis <markos@genesi-usa.com> +Signed-off-by: Stephane Glondu <steph@glondu.net> +--- + kernel/byterun/coq_interp.c | 2 +- + 1 files changed, 1 insertions(+), 1 deletions(-) + +diff --git a/kernel/byterun/coq_interp.c b/kernel/byterun/coq_interp.c +index cce2319..a0cb4f1 100644 +--- a/kernel/byterun/coq_interp.c ++++ b/kernel/byterun/coq_interp.c +@@ -145,7 +145,7 @@ sp is a local copy of the global variable extern_sp. */ + #define SP_REG asm("a4") + #define ACCU_REG asm("d7") + #endif +-#ifdef __arm__ ++#if defined(__arm__) && !defined(__thumb2__) + #define PC_REG asm("r9") + #define SP_REG asm("r8") + #define ACCU_REG asm("r7") +-- diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 00000000..0bde233f --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +0001-Fix-thumb2-related-build-error.patch |