diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index d698a4a..6aee4ac 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -68,8 +68,8 @@
 # Coverity. In reality, RSS is not supported on FVP right now (or on any other
 # upstream platform, for that matter) so the resulting firmware would not be
 # functional.
-clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} USE_ROMLIB=1 \
-	    ENABLE_RME=1 MEASURED_BOOT=1 PLAT_RSS_NOT_SUPPORTED=0
+clean_build $fvp_common_flags USE_ROMLIB=1 MEASURED_BOOT=1 \
+    PLAT_RSS_NOT_SUPPORTED=0
 
 clean_build $fvp_common_flags SPD=trusty
 clean_build $fvp_common_flags SPD=trusty TRUSTY_SPD_WITH_GENERIC_SERVICES=1