diff --git a/tools.mk b/tools.mk
index 2666707325..8027b3e6ba 100644
--- a/tools.mk
+++ b/tools.mk
@@ -28,6 +28,7 @@ REBAR ?= ./rebar
 REVISION ?= $(shell git rev-parse --short HEAD)
 PROJECT ?= $(shell basename `find src -name "*.app.src"` .app.src)
 EUNIT_OPTS ?=
+CT_OPTS ?=
 
 .PHONY: compile-no-deps test docs xref dialyzer-run dialyzer-quick dialyzer \
 		cleanplt upload-docs
@@ -41,7 +42,7 @@ eunit: compile
 	${REBAR} ${EUNIT_OPTS} eunit skip_deps=true
 
 ct: compile
-	${REBAR} ct skip_deps=true
+	${REBAR} ${CT_OPTS} ct skip_deps=true
 
 upload-docs: docs
 	@if [ -z "${BUCKET}" -o -z "${PROJECT}" -o -z "${REVISION}" ]; then \