Searched refs:src_full_name (Results 1 – 1 of 1) sorted by relevance
65 src_full_name = src_top + "/" + file_name66 if not os.path.isfile(src_full_name):67 print "file " + src_full_name + " not found"73 print "copy file ", src_full_name, " to ", dest_file74 os.system("cp -a " + src_full_name + " " + dest_file)78 def copy_file_new_name_if_exists(src_full_name, dest_dir, dest_file): argument81 if not os.path.isfile(src_full_name):82 print "file " + src_full_name + " not found"87 print "copy file ", src_full_name, " to ", dest_full_name88 os.system("cp -a " + src_full_name + " " + dest_full_name)