diff --git a/bin/ptool b/bin/ptool index 44d907b..c1cd363 100755 --- a/bin/ptool +++ b/bin/ptool @@ -311,8 +311,8 @@ lister ce qui serait fusionné dans la branche $MergeDestDesc") #les commits pour nettoyer l'historique avant la fusion") merge_action_def=(action=merge "\ fusionner la branche $MergeSrcDesc dans la branche $MergeDestDesc$bewareDir") - tech_merge_def=(TechMerge=1 "++option non documentée") - squash_def=(SquashMsg= "fusionner les modifications de la branche comme un seul commit") + tech_merge_def=('$action=merge; TechMerge=1' "++option non documentée") + squash_def=('$action=merge; res@ SquashMsg' "fusionner les modifications de la branche comme un seul commit") [ -n "$PREL_MERGE" ] && force_merge_def=(ForceMerge=1 "++\ forcer la fusion pour une branche qui devrait être traitée par prel") no_push_def=(Push= "ne pas pousser les branches vers leur origine après la fusion")