| File scripts/deploy changed (mode: 100755) (index 20ee389b7..045c3de9d) |
| ... |
... |
fi |
| 75 |
75 |
if [ "$target" = all -o "$target" = commit ]; then |
if [ "$target" = all -o "$target" = commit ]; then |
| 76 |
76 |
echo "Making version commit..." |
echo "Making version commit..." |
| 77 |
77 |
|
|
| 78 |
|
# try to mark commit with tag to figure out what to do: |
|
| 79 |
|
# commit or ammend changes |
|
| 80 |
|
git tag "v$ver" |
|
| 81 |
|
if [ "$?" != "0" ]; then |
|
| 82 |
|
amendflag=--amend |
|
| 83 |
|
else |
|
| 84 |
|
amendflag= |
|
| 85 |
|
fi |
|
| 86 |
|
git commit -av $amendflag -m "Version v$ver" |
|
|
78 |
|
git commit -av -m "Version v$ver" |
| 87 |
79 |
if [ "$?" != "0" ]; then |
if [ "$?" != "0" ]; then |
| 88 |
80 |
echo 'Committing error.' |
echo 'Committing error.' |
| 89 |
81 |
exit 1 |
exit 1 |
| 90 |
82 |
fi |
fi |
| 91 |
83 |
# force mark commit with tag |
# force mark commit with tag |
| 92 |
|
git tag --force "v$ver" |
|
|
84 |
|
git tag --force --sign "v$ver" |
| 93 |
85 |
fi |
fi |
| 94 |
86 |
|
|
| 95 |
87 |
if [ "$target" = all -o "$target" = archive ]; then |
if [ "$target" = all -o "$target" = archive ]; then |