Index: tools/jenkins/setup.sh.in
===================================================================
--- tools/jenkins/setup.sh.in	(revision c0c89628da0d33b9a6d57b056435f9a5d64c7d16)
+++ tools/jenkins/setup.sh.in	(revision 1f68d5d103ce802b81fc6891deddf85f956a0455)
@@ -123,7 +123,7 @@
 do
 	# find the test's name
-	regex='tests/crashes/[[[:alpha:]/-]+/([[:alpha:][:digit:]@/_.-]+)/exe'
+	regex='tests/crashes/(short|full-debug|full-nodebug)/([[:alpha:][:digit:]@/_.-]+)/exe'
 	if [[ $pgm =~ $regex ]]; then
-		name=${BASH_REMATCH[1]}
+		name=${BASH_REMATCH[2]}
 	else
 		error "Executable '$pgm' has ill-formed path"