Home
last modified time | relevance | path

Searched refs:dir_set_aside_with_dir_id (Results 1 – 1 of 1) sorted by relevance

/dports/devel/tla/tla-1.3.5/src/tla/libarch/
H A Dapply-changeset.c209 …rel_table dir_set_aside_with_dir_id = rel_table_nil; /* [0] shuffled-dir-id [1] rel-loc-in-shuffle… in arch_apply_changeset() local
504 …tmp_name = set_aside_shuffled_dirs (&file_set_aside_with_dir_id, &dir_set_aside_with_dir_id, targe… in arch_apply_changeset()
511 rel_sort_table_by_field (0, dir_set_aside_with_dir_id, 0); in arch_apply_changeset()
620 file_set_aside_with_dir_id, dir_set_aside_with_dir_id); in arch_apply_changeset()
2127 rel_free_table (dir_set_aside_with_dir_id); in arch_apply_changeset()