diff --git a/scripts/build.sh b/scripts/build.sh index 9d3944fd1c3d43ef1d2f3c8eb51619faa74c17f7..8df09dddc571604f5495603c79685dc953f987c3 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -29,7 +29,7 @@ set -exu # ------------------------------------------------------------------------------ -# Automatic configuration +# Automatic configuration # ------------------------------------------------------------------------------ SCRIPT_PATH="$(realpath "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)")" diff --git a/scripts/format.sh b/scripts/format.sh index cd492720cb09612ea6fc7eb735a8e5f7ac07af66..3268b3fe67416130da9b9714dea1dadacfae1e43 100755 --- a/scripts/format.sh +++ b/scripts/format.sh @@ -26,7 +26,7 @@ SOURCES="$(find \ -print)" # shellcheck disable=2086 -# Split ${SOURCES}. +# Split ${SOURCES}. "${CLANG_FORMAT_BIN_PATH}" -i --verbose ${SOURCES} # ------------------------------------------------------------------------------ diff --git a/scripts/generate_coverage_report.sh b/scripts/generate_coverage_report.sh index 8a81735155fa1ee18334100b9ef3dd567404ed7c..3cc9688930f3ff17a4fcbbb5776ed1901fd2f6fa 100755 --- a/scripts/generate_coverage_report.sh +++ b/scripts/generate_coverage_report.sh @@ -21,7 +21,7 @@ if [[ -z "${LLVM_COV}" ]]; then fi # ------------------------------------------------------------------------------ -# Automatic configuration +# Automatic configuration # ------------------------------------------------------------------------------ SCRIPT_PATH="$(realpath "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)")" diff --git a/scripts/test_android.sh b/scripts/test_android.sh index 9cd613908bbe5cd48cf42d335ccbc9918b563459..10c050dc1a9043536f9596c51fdbd4b8b3ef25a8 100755 --- a/scripts/test_android.sh +++ b/scripts/test_android.sh @@ -30,14 +30,14 @@ if [[ -z "${ADB}" ]]; then fi # ------------------------------------------------------------------------------ -# Automatic configuration +# Automatic configuration # ------------------------------------------------------------------------------ : "${COVERAGE:=OFF}" : "${DEVICE_HOST:=127.0.0.1}" : "${DEVICE_PORT:=5037}" : "${DEVICE_TMP_PATH:=/data/local/tmp}" -# Generated coverage metrics are placed into '${DEVICE_TMP_PATH}/gcov'. +# Generated coverage metrics are placed into '${DEVICE_TMP_PATH}/gcov'. : "${GCOV_PREFIX:=${DEVICE_TMP_PATH}/gcov}" BUILD_PATH="$(realpath "${1}")" @@ -48,8 +48,8 @@ BINARY_DEVICE_PATH="${DEVICE_TMP_PATH}"/"${BINARY_NAME}" # ------------------------------------------------------------------------------ -# Returns a command which is suitable for collecting coverage info. -# Arguments: +# Returns a command which is suitable for collecting coverage info. +# Arguments: # 1: Build directory on host. # 2+: The command to wrap. with_coverage() { @@ -66,7 +66,7 @@ run_adb_command() { } # ------------------------------------------------------------------------------ -# Cleanup from host. +# Cleanup from host. # ------------------------------------------------------------------------------ # Remove gcov folder from device. @@ -110,7 +110,7 @@ if [[ "${COVERAGE}" == "ON" ]]; then fi # ------------------------------------------------------------------------------ -# Cleanup from host. +# Cleanup from host. # ------------------------------------------------------------------------------ if [[ "${COVERAGE}" == "ON" ]]; then