| File scripts/uncov-coverage changed (mode: 100755) (index d41409a49..3c58a2086) |
| ... |
... |
fi |
| 24 |
24 |
git stash save --include-untracked 'temporary stash of uncov-coverage script' |
git stash save --include-untracked 'temporary stash of uncov-coverage script' |
| 25 |
25 |
git stash apply --index |
git stash apply --index |
| 26 |
26 |
|
|
| 27 |
|
if [ -d "$coverage_worktree" ]; then |
|
| 28 |
|
cd "$coverage_worktree/src" |
|
| 29 |
|
else |
|
|
27 |
|
# add a worktree if it doesn't exist already |
|
28 |
|
if [ ! -e "$coverage_worktree" ]; then |
| 30 |
29 |
git worktree add --detach "$coverage_worktree" |
git worktree add --detach "$coverage_worktree" |
| 31 |
|
cd "$coverage_worktree" |
|
|
30 |
|
fi |
|
31 |
|
cd "$coverage_worktree" |
|
32 |
|
|
|
33 |
|
# configure the source tree unless it's already configured |
|
34 |
|
if [ ! -e build-aux/config.h ]; then |
| 32 |
35 |
./configure --enable-coverage CFLAGS=-O0 |
./configure --enable-coverage CFLAGS=-O0 |
| 33 |
|
cd src |
|
| 34 |
36 |
fi |
fi |
|
37 |
|
cd src |
| 35 |
38 |
|
|
| 36 |
39 |
git clean --force -d .. |
git clean --force -d .. |
| 37 |
40 |
git checkout --force stash@{0}^ |
git checkout --force stash@{0}^ |