diff --git a/bl32/tsp/tsp.mk b/bl32/tsp/tsp.mk
index 99c83708cb9b9f37fd445d5e896833b8898a74f4..c45a94ffa2c8400ced6b83379f88e8d01d33b5b7 100644
--- a/bl32/tsp/tsp.mk
+++ b/bl32/tsp/tsp.mk
@@ -51,5 +51,12 @@ vpath %.c ${BL32_ROOT}
 vpath %.c ${BL32_ROOT}/${ARCH}
 vpath %.S ${BL32_ROOT}/${ARCH}
 
-# Include an optional platform-specific TSP Makefile
--include bl32/tsp/tsp-${PLAT}.mk
+# Include the platform-specific TSP Makefile
+# If no platform-specific TSP Makefile exists, it means TSP is not supported
+# on this platform.
+TSP_PLAT_MAKEFILE := bl32/tsp/tsp-${PLAT}.mk
+ifeq (,$(wildcard ${TSP_PLAT_MAKEFILE}))
+  $(error TSP is not supported on platform ${PLAT})
+else
+  include ${TSP_PLAT_MAKEFILE}
+endif