repo.or.cz
/
versaplex.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
putschema.t.cs: fix some minor error message incompatibilities.
[versaplex.git]
/
push-git-modules
blob
6f396685701f500b1fd5cc38acb55daea5c2c625
1
#!/bin/sh -x
2
set -e
3
test -e
wv
/
wvstreams
/
Makefile
4
(
cd
wv
/
wvstreams
&&
git push origin HEAD
:
master
) &&
5
(
cd
wv
&&
git push origin HEAD
:
master
) &&
6
git push origin HEAD
:
master ||
7
echo
"Failed!"
8