From c08bcdff3df5134495418833eea9a07dd5d03e86 Mon Sep 17 00:00:00 2001 From: Geunsik Lim Date: Fri, 27 Nov 2020 10:56:20 +0900 Subject: [PATCH] Removed unnecessary file (eigen.patch) This commit is trivial. It's to delete an unused file (./packaging/eigen.patch). Change-Id: If882760c8e30d04b37733b84b6e16ef21862b410 Signed-off-by: Geunsik Lim --- packaging/eigen.patch | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 packaging/eigen.patch diff --git a/packaging/eigen.patch b/packaging/eigen.patch deleted file mode 100644 index 28999171c3..0000000000 --- a/packaging/eigen.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --git Eigen/src/Core/products/GeneralBlockPanelKernel.h Eigen/src/Core/products/GeneralBlockPanelKernel.h ---- Eigen/src/Core/products/GeneralBlockPanelKernel.h -+++ Eigen/src/Core/products/GeneralBlockPanelKernel.h -@@ -1392,7 +1392,7 @@ - // NOTE: the begin/end asm comments below work around bug 935! - // but they are not enough for gcc>=6 without FMA (bug 1637) - #if EIGEN_GNUC_AT_LEAST(6,0) -- #define EIGEN_GEBP_2PX4_SPILLING_WORKAROUND __asm__ ("" : [a0] "+rm" (A0),[a1] "+rm" (A1)); -+ #define EIGEN_GEBP_2PX4_SPILLING_WORKAROUND __asm__ ("" : [a0] "+x,m" (A0),[a1] "+x,m" (A1)); - #else - #define EIGEN_GEBP_2PX4_SPILLING_WORKAROUND - #endif -- 2.34.1