From 27bac4252ba467cbabad60000dfcfff6af46f6e6 Mon Sep 17 00:00:00 2001 From: 5schatten Date: Tue, 16 Apr 2019 23:08:37 +0200 Subject: [PATCH] RPi: remove deprecated softfp TARGET_FLOAT option -> use either hard or soft --- projects/RPi/options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/RPi/options b/projects/RPi/options index 0151033f93..172f569997 100644 --- a/projects/RPi/options +++ b/projects/RPi/options @@ -16,7 +16,7 @@ # TARGET_FLOAT: # Specifies which floating-point ABI to use. Permissible values are: - # soft softfp hard + # soft hard TARGET_FLOAT="hard" # Valid TARGET_FPU for Raspberry Pi based devices: