1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-27 18:02:17 +03:00

Fix: cannot build after #7060 on Win64 (#7754)

* Fix: cannot build after #7060 on Win64

* add double-quotes to `compiler.S.flags`

* fix windows-specific processes (`recipe.hooks.linking.prelink.[12].pattern.windows`)

* rewrite processing of "mkdir" and "cp" in python because of platform-independence

* make consistent with the use of quotation marks in other *.py files
This commit is contained in:
Takayuki 'January June' Suwa
2020-12-15 04:09:24 +09:00
committed by GitHub
parent 9a36cfdee9
commit fd69945abc
3 changed files with 42 additions and 5 deletions

18
tools/cp.py Executable file
View File

@ -0,0 +1,18 @@
#!/usr/bin/env python3
# Platform-independent single-file `cp`
import argparse
import shutil
import sys
def main():
parser = argparse.ArgumentParser(description='Platform-independent single-file `cp`')
parser.add_argument('src', action='store')
parser.add_argument('dst', action='store')
ns = parser.parse_args()
shutil.copyfile(ns.src, ns.dst)
return 0
if __name__ == '__main__':
sys.exit(main())