ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #1065 from rnestler/use_python2 

workspace_tools: Use python2 in shebang
pull/1075/head
Martin Kojtal 2015-04-24 08:06:43 +01:00
parent 2d8f49de85 ddd3e8859f
commit 7c21ce5110
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/build.py
View File

@ -1,4 +1,4 @@
#! /usr/bin/env python
#! /usr/bin/env python2
"""
mbed SDK
Copyright (c) 2011-2013 ARM Limited

2
workspace_tools/build_travis.py
View File

@ -1,4 +1,4 @@
#!/usr/bin/env python
#!/usr/bin/env python2
"""
Travis-CI build script

2
workspace_tools/make.py
View File

@ -1,4 +1,4 @@
#! /usr/bin/env python
#! /usr/bin/env python2
"""
mbed SDK
Copyright (c) 2011-2013 ARM Limited

2
workspace_tools/singletest.py
View File

@ -1,4 +1,4 @@
#!/usr/bin/env python
#!/usr/bin/env python2
"""
mbed SDK