Merge pull request #11068 from vmihaylenko/master

Using correct base path in configure.sh
This commit is contained in:
Victor Popov 2019-06-18 19:05:12 +03:00 committed by GitHub
commit c8df67d5b3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,7 +4,7 @@
# Stop on the first error.
set -e -u
BASE_PATH=`dirname "$0"`
BASE_PATH=$(cd "$(dirname "$0")"; pwd)
PRIVATE_HEADER="$BASE_PATH/private.h"
DEFAULT_PRIVATE_HEADER="$BASE_PATH/private_default.h"