mirror of
https://github.com/ramsey/uuid.git
synced 2026-06-14 15:56:48 +03:00
Ben Ramsey
0726ab03ac
This might be causing permissions issues, since the system user and the Docker container root user are both trying to write to this location.
26 lines
775 B
Bash
Executable File
26 lines
775 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# This script uses the ARCH environment variable to determine whether to run
|
|
# the commands through a 32-bit Docker container, for 32-bit testing. If the
|
|
# ARCH is anything other than "arm32," then it simply executes the commands
|
|
# on the local system, rather than in a container.
|
|
|
|
php_version="${TRAVIS_PHP_VERSION:-$(php -r "echo phpversion();")}"
|
|
|
|
dots_count=$(echo $php_version | awk -F"." '{print NF-1}')
|
|
if [ $dots_count -ge 2 ]; then
|
|
php_version="${php_version%.*}"
|
|
fi
|
|
|
|
architecture="${ARCH:-${TRAVIS_CPU_ARCH:-$(uname -m)}}"
|
|
|
|
cmd_proxy=""
|
|
|
|
if [ "${architecture}" = "arm32" ]; then
|
|
image="benramsey/ramsey-uuid:php-${php_version}-arm32v7"
|
|
volumes="-v ${PWD}:/app"
|
|
cmd_proxy="docker run --rm ${volumes} -w /app ${image}"
|
|
fi
|
|
|
|
$cmd_proxy "$@"
|