add script for running pylint
diff --git a/pylint.sh b/pylint.sh
new file mode 100755
index 0000000..e3d136b
--- /dev/null
+++ b/pylint.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+cd $(dirname $(readlink -f $0))
+PYTHONPATH=src/python:tests:tests-1.3 pylint -E tests/*.py tests-1.3/*.py src/python/oftest/*.py