diff options
Diffstat (limited to 'gnu/packages/gcc.scm')
| -rw-r--r-- | gnu/packages/gcc.scm | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm index 23bfd90b33..8b88dff4dc 100644 --- a/gnu/packages/gcc.scm +++ b/gnu/packages/gcc.scm @@ -55,9 +55,7 @@ where the OS part is overloaded to denote a specific ABI---into GCC '("--with-arch=armv7-a" "--with-float=hard" "--with-mode=thumb" - - ;; See <https://wiki.debian.org/ArmHardFloatPort/VfpComparison#FPU> - "--with-fpu=vfpv3-d16")) + "--with-fpu=neon")) (else ;; TODO: Add `arm.*-gnueabi', etc. |