ndwarshuis
/
org-mode
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Makefile, clean up with force

This commit is contained in:
Carsten Dominik 2010-10-29 08:43:12 +02:00
parent 3782340631
commit 5e2745ac22
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -308,8 +308,8 @@ release:
make relup TAG=$(TAG) make relup TAG=$(TAG)
make cleanrel make cleanrel
rm -rf org-$(TAG) rm -rf org-$(TAG)
rm org-$(TAG)*.zip rm -f org-$(TAG)*.zip
rm org-$(TAG)*.tar.gz rm -f org-$(TAG)*.tar.gz
make pushreleasetag TAG=$(TAG) make pushreleasetag TAG=$(TAG)
git push -f origin maint git push -f origin maint
git checkout master git checkout master