diff --git a/bl32/tsp/tsp.mk b/bl32/tsp/tsp.mk
index a16c97026c16d746e689204952057866d686adcb..748b5d4d14df09752112847f79b1109e90a1cadf 100644
--- a/bl32/tsp/tsp.mk
+++ b/bl32/tsp/tsp.mk
@@ -52,5 +52,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