| 12345678910111213141516171819 |
- #!/bin/bash
- function runDirPHP()
- {
- echo "Checking PHP files in ${1}"
- for i in $1/*.php; do
- php $i > /dev/null
- if [ $? -ne 0 ]; then
- echo "Error running example code: $i";
- exit -1
- fi;
- done
- }
- runDirPHP examples/;
- for i in $(find examples/doc/* -type d); do
- runDirPHP "${i}/"
- done
|