From 854a65da0ab89d59f384a6c368369a240a122f48 Mon Sep 17 00:00:00 2001
From: Brad Fitzpatrick <brad@danga.com>
Date: Sun, 17 Jul 2011 17:36:56 -0700
Subject: [PATCH] dev-server: add --nobuild option

Change-Id: Ic4c711a033d28388e8e0453d86a7f1484093f1a3
---
 dev-server | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/dev-server b/dev-server
index e890b4d1c..c78cd70ba 100755
--- a/dev-server
+++ b/dev-server
@@ -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) {