Ian Wienand | 5c7f39f | 2015-07-01 06:29:27 +1000 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | |
| 3 | # Simple test of worlddump.py |
| 4 | |
| 5 | TOP=$(cd $(dirname "$0")/.. && pwd) |
| 6 | |
| 7 | source $TOP/tests/unittest.sh |
| 8 | |
| 9 | OUT_DIR=$(mktemp -d) |
| 10 | |
Federico Ressi | 21a10d3 | 2020-01-31 07:43:30 +0100 | [diff] [blame] | 11 | ${PYTHON} $TOP/tools/worlddump.py -d $OUT_DIR |
Ian Wienand | 5c7f39f | 2015-07-01 06:29:27 +1000 | [diff] [blame] | 12 | |
| 13 | if [[ $? -ne 0 ]]; then |
| 14 | fail "worlddump failed" |
| 15 | else |
| 16 | |
| 17 | # worlddump creates just one output file |
| 18 | OUT_FILE=($OUT_DIR/*.txt) |
| 19 | |
| 20 | if [ ! -r $OUT_FILE ]; then |
| 21 | failed "worlddump output not seen" |
| 22 | else |
| 23 | passed "worlddump output $OUT_FILE" |
| 24 | |
| 25 | if [[ $(stat -c %s $OUT_DIR/*.txt) -gt 0 ]]; then |
| 26 | passed "worlddump output is not zero sized" |
| 27 | fi |
| 28 | |
| 29 | # put more extensive examination here, if required. |
| 30 | fi |
| 31 | fi |
| 32 | |
| 33 | rm -rf $OUT_DIR |
| 34 | |
| 35 | report_results |