mirror of
https://github.com/danog/php.git
synced 2024-12-03 09:57:57 +01: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 "$@"
|