source: tools/jenkins/archive-gen.sh @ f5dbc8d

Last change on this file since f5dbc8d was 32ab519, checked in by Thierry Delisle <tdelisle@…>, 3 years ago

Jenkins now generates a setup.sh script when archiving test failures.
The script can be run to ease reproduction in gdb.

  • Property mode set to 100755
File size: 481 bytes
Line 
1#!/bin/bash
2
3script="$(dirname "$0")/setup.sh.in"
4if [ ! -f $script ]; then
5        >&2 echo "Cannot find $script"
6        exit 1
7fi
8
9if [ -f "setup.sh" ]; then
10        >&2 echo "setup.sh already exists, would overwrite it"
11        exit 1
12fi
13
14echo "#!/bin/bash" > setup.sh
15echo "" >> setup.sh
16chmod a+x setup.sh
17
18echo "arch=\"$(uname -m)\"" >> setup.sh
19echo "name=\"$(uname -n)\"" >> setup.sh
20echo "" >> setup.sh
21echo "# ---- copied from $script ----" >> setup.sh
22echo "" >> setup.sh
23
24cat $script >> setup.sh
Note: See TracBrowser for help on using the repository browser.