diff options
| author | Johann Bernhardt <johann.bernhardt@tum.de> | 2021-12-02 19:59:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-02 19:59:50 +0100 |
| commit | af3a51c0a8cd24a86175df8d999a79f01eb09105 (patch) | |
| tree | d074e2d3901a751cca3d8153bb48aa2145b23984 /.github/scripts | |
| parent | 3b5f58e4da7b186fd628b3dbcb88b5393e8ceac0 (diff) | |
| download | GT5-Unofficial-af3a51c0a8cd24a86175df8d999a79f01eb09105.tar.gz GT5-Unofficial-af3a51c0a8cd24a86175df8d999a79f01eb09105.tar.bz2 GT5-Unofficial-af3a51c0a8cd24a86175df8d999a79f01eb09105.zip | |
Migrate to unified build script (#59)
Former-commit-id: 9b48b72af5e2885baffbe3f89984364d99bc58d4
Diffstat (limited to '.github/scripts')
| -rw-r--r-- | .github/scripts/test-no-crash-reports.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.github/scripts/test-no-crash-reports.sh b/.github/scripts/test-no-crash-reports.sh new file mode 100644 index 0000000000..c67e342c06 --- /dev/null +++ b/.github/scripts/test-no-crash-reports.sh @@ -0,0 +1,9 @@ +directory="run/crash-reports" +if [ -d $directory ]; then + echo "Crash reports detected:" + cat $directory/* + exit 1 +else + echo "No crash reports detected" + exit 0 +fi |