mirror of
https://github.com/esp8266/Arduino.git
synced 2025-04-19 23:22:16 +03:00
fd69945abc
* 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
19 lines
430 B
Python
Executable File
19 lines
430 B
Python
Executable File
#!/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())
|