| commit | 32750ef5c2a1c497156a43a76035d83ed3736a55 | [log] [tgz] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> | Tue Jun 22 11:14:49 2021 +0200 |
| committer | GitHub <noreply@github.com> | Tue Jun 22 11:14:49 2021 +0200 |
| tree | 853e69effee4e14be01e9979f5fdf22aa30e24c9 | |
| parent | 8f2b66a39acb8310a53c3372a690c5e9614330bc [diff] | |
| parent | 87db8a2676e07b2b31a9cdd21b23e594503a28c8 [diff] |
Merge pull request #4685 from mpg/improve-all-sh-robustness all.sh: Clean up old files before generating them
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 1a3bede..fe53669 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh
@@ -651,6 +651,9 @@ } pre_generate_files() { + # since make doesn't have proper dependencies, remove any possibly outdate + # file that might be around before generating fresh ones + make neat make generated_files }