diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check-lasso-sections.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/check-lasso-sections.py b/tools/check-lasso-sections.py index 85798826..cb4c39c4 100755 --- a/tools/check-lasso-sections.py +++ b/tools/check-lasso-sections.py @@ -4,6 +4,9 @@ import sys import os.path import re +if len(sys.argv) < 3: + print "Usage: check-lasso-sections.py lasso docs/referenrece/lasso/lasso-sections.txt" + sys.exit(1) source=sys.argv[1] lasso_sections_txt=sys.argv[2] |