mirror of
https://github.com/phpbb/phpbb.git
synced 2025-06-28 14:18:52 +00:00
[ticket/12693] Fix indentation
PHPBB3-12693
This commit is contained in:
parent
a6f43d09d7
commit
18207ae1ec
1 changed files with 3 additions and 4 deletions
|
@ -10,7 +10,6 @@
|
||||||
#
|
#
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
|
|
||||||
DB=$1
|
DB=$1
|
||||||
TRAVIS_PHP_VERSION=$2
|
TRAVIS_PHP_VERSION=$2
|
||||||
path="$3"
|
path="$3"
|
||||||
|
@ -46,7 +45,7 @@ then
|
||||||
|
|
||||||
if [ "$executables_files" != '' ]
|
if [ "$executables_files" != '' ]
|
||||||
then
|
then
|
||||||
echo "$executables_files MUST NOT be executable.";
|
echo "$executables_files MUST NOT be executable.";
|
||||||
exit 1;
|
exit 1;
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Add table
Reference in a new issue