Added a change lot to shipit. Based on Git log

3 years ago · e081d6cac4
parent 2d4f3d418d
commit e081d6cac4
2 changed files with 4 additions and 1 deletions
--- a/1
+++ b/1
@ -11,6 +11,7 @@ test: tox.ini

 shipit: test
 	cd doc; make html; cd ..
+	git log --pretty="format: %aD %an:  %s" > shipit_log.txt
 	python3 tools/shipit.py

 # More detailed pylint tests.
--- a/tools/shipit.py
+++ b/tools/shipit.py
@ -24,6 +24,7 @@ globs = ["TODO.md",
         "tests/*.py",
         "systems/Vagrantfile",
         "systems/*/*.sh",
+         "systems/*/*.bat",
         "systems/azure_attacker"
         "doc/source",
         "doc/source/conf.py",
@ -54,7 +55,8 @@ globs = ["TODO.md",
         "plugins/avast_internal_plugins/*/*/idpx",
         "plugins/avast_internal_plugins/*/*/hosts",
         "plugins/README.md",
-         "pylint.rc"]
+         "pylint.rc",
+         "shipit_log.txt"]

 try:
    os.remove(filename)