Changeset dd2e084 for tools/jenkins

Timestamp:

May 28, 2021, 2:29:08 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

ef1d025d

Parents:

e72969a

Message:

Fixed how setup.sh names com files.

File:

• tools/jenkins/setup.sh.in (modified) (1 diff)

tools/jenkins/setup.sh.in ¶

@@ -123 +123 @@
 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"