diff --git a/bin/prel b/bin/prel index eb4f559..5d2b5bf 100755 --- a/bin/prel +++ b/bin/prel @@ -158,7 +158,7 @@ En cas d'erreur de merge, veuillez corriger les erreurs puis continuer avec Veuillez aussi consulter le script et/ou le relancer ./$script${Push:+ push}" die - elif [ -n "$Merge" -a -n "$Pushe" ]; then + elif [ -n "$Merge" -a -n "$Push" ]; then [ -n "$_KeepScript" ] || rm "$script" else einfo "\