Apply update.sh

This commit is contained in:
Tianon Gravi
2016-03-18 10:52:43 -07:00
parent 3bf5b82235
commit 0d23b3d087
80 changed files with 2295 additions and 582 deletions

View File

@ -1,9 +1,9 @@
#!/bin/bash
#!/bin/sh
set -e
ext="$1"
extDir="/usr/src/php/ext/$ext"
if [ -z "$ext" -o ! -d "$extDir" ]; then
if [ -z "$ext" ] || ! [ -d "$extDir" ]; then
echo >&2 "usage: $0 ext-name [configure flags]"
echo >&2 " ie: $0 gd --with-jpeg-dir=/usr/local/something"
echo >&2