Add script for linting

jerry-git · jerry-git · commit 8dd9ac36241d · 2022-02-13T11:52:32.000+02:00
diff --git a/lint.sh b/lint.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+target=$1
+isort $target
+black $target
+mypy --strict $target
+flake8 $target
