?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Genericize paths.
[phpv.git] / update-dev.sh
blob032a09875d075a411b80264061d01b29d0b54e45
1 #!/bin/bash
2 set -e
3 cd "working/php-$1-dev"
4 cvs up
5 ./config.nice
6 make
7 make install
Run multiple versions of PHP hassle-free