Changeset a39a289 for tools/jenkins/setup.sh.in

Timestamp:

Jan 10, 2022, 4:10:50 PM (2 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

078fb05

Parents:

7d0ebd0

Message:

There is a script to setup reproduction of Jenkins core dumps easily.
Fixed a bug where it would complain about linux-gate.so.1, not knowing the so is magic.

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]})