Searched refs:move_file (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | generate-ios-source-and-headers.py | 63 def move_file(src_dir, dst_dir, filename, file_suffix=None, prefix='', suffix=''): function
97 move_file(root, dest_include_dir, file, arch, prefix=prefix, suffix=suffix)
101 move_file(root, outroot, file, prefix=prefix, suffix=suffix)
|
| H A D | generate-osx-source-and-headers.py | 57 def move_file(src_dir, dst_dir, filename, file_suffix=None, prefix='', suffix=''): function
91 move_file(root, dest_include_dir, file, arch, prefix=prefix, suffix=suffix)
95 move_file(root, outroot, file, prefix=prefix, suffix=suffix)
|
Completed in 25 milliseconds