Searched refs:mark_milestone_achieved (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD616 mark_milestone_achieved() { # milestone name function
709 " && mark_milestone_achieved checked_out_sources
752 mark_milestone_achieved built_$arch \
1025 mark_milestone_achieved installed_$install_milestone_key &&
1215 " && mark_milestone_achieved checked_out_tests
1439 mark_milestone_achieved tested_$test_milestone_key
1622 mark_milestone_achieved incremented_build_number
1650 mark_milestone_achieved committed_build_number &&
1695 mark_milestone_achieved updated_lastsucc_tags &&
1732 mark_milestone_achieved updated_symlink
[all...]

Completed in 40 milliseconds