Changeset 00f5fde for tools/jenkins/setup.sh.in

Timestamp:

Jan 12, 2022, 9:30:48 PM (2 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

42daeb4

Parents:

1959528 (diff), 07a1e7a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Peter A. Buhr <pabuhr@…> (01/12/22 18:35:04)

git-committer:

Peter A. Buhr <pabuhr@…> (01/12/22 21:30:48)

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

tools/jenkins/setup.sh.in

@@ -48 +48 @@
                 regex1='/([[:alpha:][:digit:]@/_.-]+)'
                 regex2='(libcfa[[:alpha:][:digit:].]+) => not found'
-                regex3='linux-vdso.so.1'
+                regex3='linux-vdso.so.1|linux-gate.so.1'
                 if [[ $line =~ $regex1 ]]; then
                         retsysdeps+=(${BASH_REMATCH[1]})