archive-gh-me/Espruino
1
0
Fork 0
mirror of https://github.com/espruino/Espruino.git synced 2025-12-08 19:06:15 +00:00
Code Issues Projects Releases Wiki Activity

Optionally free up args for other functions

Browse Source
This commit is contained in:
Gamaiel Zavala 2013-12-16 22:37:59 -08:00
parent 4f493af120
commit ff7479a400
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/common.py
View File

@ -58,7 +58,7 @@ if silent:
#
def get_jsondata(is_for_document):
def get_jsondata(is_for_document, parseArgs = True):
scriptdir = os.path.dirname (os.path.realpath(__file__))
print "Script location "+scriptdir
os.chdir(scriptdir+"/..")
@ -66,7 +66,7 @@ def get_jsondata(is_for_document):
jswraps = []
defines = []
if len(sys.argv)>1:
if parseArgs and len(sys.argv)>1:
print "Using files from command line"
for i in range(1,len(sys.argv)):
arg = sys.argv[i]