2 files changed, 2 insertions, 1 deletions
diff --git a/lib.c b/lib.c
index 519b3c3d..01c860d2 100644
--- a/lib.c
+++ b/lib.c
@@ -702,6 +702,8 @@ static const struct flag mflags[] = {
 	{ "little-endian", &arch_big_endian, NULL, OPT_INVERSE },
 	{ "cmodel", &arch_cmodel, handle_cmodel },
 	{ "float-abi", &arch_fp_abi, handle_float_abi },
+	{ "hard-float", &arch_fp_abi, NULL, OPT_VAL, FP_ABI_HARD },
+	{ "soft-float", &arch_fp_abi, NULL, OPT_VAL, FP_ABI_SOFT },
 	{ }
 };
 
diff --git a/validation/arch/arm-predef-hard-float.c b/validation/arch/arm-predef-hard-float.c
index 8aeb5d42..72c748f0 100644
--- a/validation/arch/arm-predef-hard-float.c
+++ b/validation/arch/arm-predef-hard-float.c
@@ -5,5 +5,4 @@
 /*
  * check-name: arm-predef-hard-float
  * check-command: sparse --arch=arm -mhard-float $file
- * check-known-to-fail
  */