make sure that -just-plugin always stops after the plugin-build phase#130

gasche merged 1 commit intoocaml:masterocaml/ocamlbuild:masterfrom

gasche:just-plugin-no-plugingasche/ocamlbuild:just-plugin-no-pluginCopy head branch name to clipboard