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

Build tools

Browse Source
This commit is contained in:
Gordon Williams 2018-06-15 15:34:03 +01:00
parent 51770d08af
commit 7ae9af8f6c
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
scripts/build_jswrapper.py
View File

@ -41,8 +41,13 @@ jsmodules = {}
for i in range(1,len(sys.argv)):
arg = sys.argv[i]
if arg[0]!="-" and arg[-3:]==".js":
modulename = arg.rsplit('/',1)[1][:-3]
if modulename[-4:]==".min": modulename=modulename[:-4]
if arg.find(":")>=0:
colon = arg.find(":")
modulename = arg[:colon]
arg = arg[colon+1:]
else:
modulename = arg.rsplit('/',1)[1][:-3]
if modulename[-4:]==".min": modulename=modulename[:-4]
print("Loading JS module: "+arg+" -> "+modulename)
jscode = open(arg, "r").read()
jsmodules[modulename] = jscode