Searched refs:move_dir (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 | 89 def move_dir(arch, prefix='', suffix='', files=[]): function in function:move_source_tree
104 move_dir(arch=arch,
109 move_dir(arch='arm',
114 move_dir(arch='i386',
|
| H A D | generate-osx-source-and-headers.py | 83 def move_dir(arch, prefix='', suffix='', files=[]): function in function:move_source_tree
98 move_dir(arch=arch,
103 move_dir(arch='i386',
107 move_dir(arch='x86_64',
|
Completed in 97 milliseconds