diff Makefile @ 1404:848a04c078c7

evolve: add selector for trouble types This patch adds command line flags to select the kind of troubles to solve. Before this patch evolve was solving any kind of troubled. With this patch evolve --all and evolve --rev can be configured to only solve only some type of troubles (divergent, bumped or unstable). To give this choice to the user we add three new command line flags to the evolve command: --bumped, --divergent and --unstable.
author Laurent Charignon <lcharignon@fb.com>
date Tue, 16 Jun 2015 15:14:37 -0700
parents ca5bb72d14ae
children bfbd99b50f8f
line wrap: on
line diff