diff options
| author | Johann Bernhardt <johann.bernhardt@tum.de> | 2021-12-12 19:42:07 +0100 |
|---|---|---|
| committer | Johann Bernhardt <johann.bernhardt@tum.de> | 2021-12-12 19:42:07 +0100 |
| commit | 20b5d2932ef44e1c96104d6ec0528012f5c83d21 (patch) | |
| tree | 9c7051872d6bd37ee20c043946268bf0ebc34f08 /.github/scripts/test-no-crash-reports.sh | |
| parent | 311ab89f93558233a40079f7cb16605b141b5346 (diff) | |
| download | GT5-Unofficial-20b5d2932ef44e1c96104d6ec0528012f5c83d21.tar.gz GT5-Unofficial-20b5d2932ef44e1c96104d6ec0528012f5c83d21.tar.bz2 GT5-Unofficial-20b5d2932ef44e1c96104d6ec0528012f5c83d21.zip | |
Migrated to unified build script
Diffstat (limited to '.github/scripts/test-no-crash-reports.sh')
| -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 |