summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorBenjamin Dauvergne <bdauvergne@entrouvert.com>2010-04-06 13:11:44 +0000
committerBenjamin Dauvergne <bdauvergne@entrouvert.com>2010-04-06 13:11:44 +0000
commitca495cce426e27ee7a95d6646da34425cc1869df (patch)
treea1fef859faeeb11b7df1154994df4c80d2840227 /tools
parentff911847a7881ef3969ac7aa3a99080b96647db4 (diff)
downloadlasso-ca495cce426e27ee7a95d6646da34425cc1869df.tar.gz
lasso-ca495cce426e27ee7a95d6646da34425cc1869df.tar.xz
lasso-ca495cce426e27ee7a95d6646da34425cc1869df.zip
Tools: add usage statement to check-lasso-sections.py
Diffstat (limited to 'tools')
-rwxr-xr-xtools/check-lasso-sections.py3
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]