|
Last change
on this file since 4aae2bd 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.
