diff options
Diffstat (limited to 'git/push.sh')
-rwxr-xr-x | git/push.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git/push.sh b/git/push.sh index e37d351..83fadd1 100755 --- a/git/push.sh +++ b/git/push.sh @@ -7,7 +7,7 @@ self=`realpath $0` wd=`pwd` -for i in $modules; do +for i in $all_modules; do echo "push $i" 1>&2 cd $i git push --tags origin master |