diff options
Diffstat (limited to 'ci/verify-repro.sh')
| -rwxr-xr-x | ci/verify-repro.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ci/verify-repro.sh b/ci/verify-repro.sh index 605ec77..36d1f51 100755 --- a/ci/verify-repro.sh +++ b/ci/verify-repro.sh @@ -11,8 +11,6 @@ trap 'rm -rf "$tmp"' 0 1 2 3 15 a="$tmp/a/src" b="$tmp/a-much-longer-path/b/src" -git -C "$root" diff --quiet -git -C "$root" diff --cached --quiet status=$(git -C "$root" status --porcelain --untracked-files=normal) [ -z "$status" ] || { echo "verify-repro: tracked and untracked source must be clean" >&2 |