|
Last change
on this file since 50e04cc 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
|
| Rev | Line | |
|---|
| [32ab519] | 1 | #!/bin/bash |
|---|
| 2 | |
|---|
| 3 | script="$(dirname "$0")/setup.sh.in" |
|---|
| 4 | if [ ! -f $script ]; then |
|---|
| 5 | >&2 echo "Cannot find $script" |
|---|
| 6 | exit 1 |
|---|
| 7 | fi |
|---|
| 8 | |
|---|
| 9 | if [ -f "setup.sh" ]; then |
|---|
| 10 | >&2 echo "setup.sh already exists, would overwrite it" |
|---|
| 11 | exit 1 |
|---|
| 12 | fi |
|---|
| 13 | |
|---|
| 14 | echo "#!/bin/bash" > setup.sh |
|---|
| 15 | echo "" >> setup.sh |
|---|
| 16 | chmod a+x setup.sh |
|---|
| 17 | |
|---|
| 18 | echo "arch=\"$(uname -m)\"" >> setup.sh |
|---|
| 19 | echo "name=\"$(uname -n)\"" >> setup.sh |
|---|
| 20 | echo "" >> setup.sh |
|---|
| 21 | echo "# ---- copied from $script ----" >> setup.sh |
|---|
| 22 | echo "" >> setup.sh |
|---|
| 23 | |
|---|
| 24 | cat $script >> setup.sh |
|---|
Note: See
TracBrowser
for help on using the repository browser.
