1 files changed, 0 insertions, 9 deletions
diff --git a/tests/scripts/common.sh b/tests/scripts/common.sh
index 4a4add6493..40bff32323 100644
--- a/tests/scripts/common.sh
+++ b/tests/scripts/common.sh
@@ -165,15 +165,6 @@ launch_server() {
 	${SERV} ${DEBUG} -p "${PORT}" "$@" >${LOGFILE-/dev/null} &
 }
 
-launch_pkcs11_server() {
-	PROVIDER="$1"
-	shift
-
-	wait_for_free_port ${PORT}
-
-	${VALGRIND} ${SERV} ${PROVIDER} ${DEBUG} -p "${PORT}" "$@" &
-}
-
 launch_bare_server() {
 	wait_for_free_port ${PORT}
 	${SERV} "$@" >${LOGFILE-/dev/null} &