diff --git a/publish.py b/publish.py index 0cbdba8..d2d805a 100644 --- a/publish.py +++ b/publish.py @@ -1,25 +1,30 @@ from __future__ import print_function -import os,shutil,glob +import os, shutil, glob prjdir = "RoughGrep" -version = "2.3" +version = "2.4" + + def c(s): - print(">",s) + print(">", s) err = os.system(s) assert not err + def nuke(pth): if os.path.isdir(pth): shutil.rmtree(pth) + def rm_globs(*globs): for g in globs: files = glob.glob(g) for f in files: - print("Del",f) + print("Del", f) os.remove(f) + nuke(prjdir + "/bin") nuke(prjdir + "/obj") nuke("deploy") @@ -32,5 +37,3 @@ def rm_globs(*globs): os.rename("Release", "RoughGrep") c("7za a ../../deploy/RoughGrep-%s.zip RoughGrep" % version) - -