diff options
| author | Johann Bernhardt <johann.bernhardt@tum.de> | 2021-12-19 15:05:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-19 15:05:00 +0100 |
| commit | c88ea3b647fa3b816876fd93d328c9c4d7790dce (patch) | |
| tree | 88b9b2a4112240bc54537add592819b42d7bbf74 /.github/scripts | |
| parent | b4f5e02a69cd72d7d4ef75d101b6d14746297972 (diff) | |
| download | GT5-Unofficial-c88ea3b647fa3b816876fd93d328c9c4d7790dce.tar.gz GT5-Unofficial-c88ea3b647fa3b816876fd93d328c9c4d7790dce.tar.bz2 GT5-Unofficial-c88ea3b647fa3b816876fd93d328c9c4d7790dce.zip | |
Draft for unified build script (#10)
* Draft for unified build script
* Update gradle, build script and streamline dependencies
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 |