From 048a4625c5512ae5bd5bff92ab59034685affd73 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 17 Feb 2021 14:34:49 +0100
Subject: [PATCH] base: remove stale spec/fpu_vfpv3.mk file

---
 repos/base/mk/spec/fpu_vfpv3.mk | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 repos/base/mk/spec/fpu_vfpv3.mk

diff --git a/repos/base/mk/spec/fpu_vfpv3.mk b/repos/base/mk/spec/fpu_vfpv3.mk
deleted file mode 100644
index 718f8dda8e..0000000000
--- a/repos/base/mk/spec/fpu_vfpv3.mk
+++ /dev/null
@@ -1,9 +0,0 @@
-#
-# Enable floating point support in compiler
-#
-CC_MARCH += -mfpu=vfpv3 -mfloat-abi=softfp
-
-#
-# Include floating-point unit code
-#
-REP_INC_DIR += include/spec/arm/vfp