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

ast-experimental
Last change on this file since f77f648d was 32ab519, checked in by Thierry Delisle <tdelisle@…>, 4 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.