Index: tools/jenkins/setup.sh.in
===================================================================
--- tools/jenkins/setup.sh.in	(revision e72969aa2cd39b30b1dd5fe32c176e0b11e8531f)
+++ tools/jenkins/setup.sh.in	(revision dd2e0844f350ba633ca5c15d9d940c08870e3d13)
@@ -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"