93533f780b
* add terminating character * adjust name length input * add test cases * correct script name * Misc fixes * add new script to EXTRA_DIST list
11 lines
202 B
Bash
Executable File
11 lines
202 B
Bash
Executable File
#!/bin/bash
|
|
|
|
EXTENSION_PATH=$1
|
|
|
|
pushd $EXTENSION_PATH
|
|
make clean || true
|
|
set -e
|
|
# Add following in configure for debug: --enable-debug CFLAGS='-g -O0'
|
|
phpize && ./configure CFLAGS='-g -O0' && make
|
|
popd
|