dev-server: add --nobuild option

Change-Id: Ic4c711a033d28388e8e0453d86a7f1484093f1a3
This commit is contained in:
Brad Fitzpatrick 2011-07-17 17:36:56 -07:00
parent bc291512a5
commit 854a65da0a
1 changed files with 6 additions and 2 deletions

View File

@ -9,9 +9,11 @@ sub usage {
}
my $opt_wipe;
my $opt_nobuild;
my $opt_all; # listen on all interfaces
GetOptions("wipe" => \$opt_wipe,
"all" => \$opt_all,
"nobuild" => \$opt_nobuild,
)
or usage();
@ -19,8 +21,10 @@ my $port = shift;
$port = "3179" unless defined($port);
usage() unless $port =~ /^\d+$/;
system("./build.pl", "server/go/camlistored") and die "Failed to build camlistored";
system("./build.pl", "clients/go/camdbinit") and die "Failed to build camdbinit";
unless ($opt_nobuild) {
system("./build.pl", "server/go/camlistored") and die "Failed to build camlistored";
system("./build.pl", "clients/go/camdbinit") and die "Failed to build camdbinit";
}
my $root = "/tmp/camliroot/port$port/";
if ($opt_wipe && -d $root) {