mirror of
https://github.com/danog/php.git
synced 2024-12-11 08:40:08 +01:00
10 lines
118 B
Plaintext
10 lines
118 B
Plaintext
|
#!/bin/sh
|
||
|
|
set -e
|
||
|
|
|
||
|
|
# first arg is `-f` or `--some-option`
|
||
|
|
if [ "${1#-}" != "$1" ]; then
|
||
|
|
set -- php "$@"
|
||
|
|
fi
|
||
|
|
|
||
|
|
exec "$@"
|