diff options
| author | Morris Jobke <hey@morrisjobke.de> | 2014-11-13 13:58:09 +0300 |
|---|---|---|
| committer | Morris Jobke <hey@morrisjobke.de> | 2014-11-13 13:58:09 +0300 |
| commit | 19346f4a276503a1b0094569466df705ecd254d3 (patch) | |
| tree | 13a07912659688bdaff9d2f6314955e0f06aa3ae /autotest.sh | |
| parent | a069171cda9f1f0ec129018c15e9696ae44c7154 (diff) | |
this allows a non-existant config/config.php for starting the autotest.sh
Diffstat (limited to 'autotest.sh')
| -rwxr-xr-x | autotest.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autotest.sh b/autotest.sh index 8edb5f3915a..83a20699d01 100755 --- a/autotest.sh +++ b/autotest.sh @@ -40,7 +40,7 @@ if ! [ $PHPUNIT_MAJOR_VERSION -gt 3 -o \( $PHPUNIT_MAJOR_VERSION -eq 3 -a $PHPUN exit 4 fi -if ! [ -w config -a -w config/config.php ]; then +if ! [ \( -w config -a ! -f config/config.php \) -o \( -f config/config.php -a -w config/config.php \) ]; then echo "Please enable write permissions on config and config/config.php" >&2 exit 1 fi |