repo.or.cz
/
phpv.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Don't make spurious version directories, and fix update-dev script.
[phpv.git]
/
update-dev.sh
blob
032a09875d075a411b80264061d01b29d0b54e45
1
#!/bin/bash
2
set -e
3
cd
"working/php-
$1
-dev"
4
cvs up
5
.
/
config.nice
6
make
7
make install