mirror of
https://github.com/docker-library/php.git
synced 2025-08-15 22:03:00 +00:00
10 lines
118 B
Bash
Executable File
Generated
10 lines
118 B
Bash
Executable File
Generated
#!/bin/sh
|
|
set -e
|
|
|
|
# first arg is `-f` or `--some-option`
|
|
if [ "${1#-}" != "$1" ]; then
|
|
set -- php "$@"
|
|
fi
|
|
|
|
exec "$@"
|