From 0898db8331294676f118ccea423f8b608f68e1aa Mon Sep 17 00:00:00 2001
From: mpl <mathieu.lonjaret@gmail.com>
Date: Wed, 13 Feb 2013 19:17:03 +0100
Subject: [PATCH] dev-server: rm closure from svn now that git repo is used.

Change-Id: I040b5f30354759a7b8798188c0eaabba971ee816
---
 dev-server | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dev-server b/dev-server
index 9929b74c2..a7a5c75a1 100755
--- a/dev-server
+++ b/dev-server
@@ -182,6 +182,9 @@ unless ($opt_staticres) {
     $ENV{CAMLI_DEV_UI_FILES} = "$FindBin::Bin/server/camlistored/ui"; # set in server/camlistored/ui/fileembed.go
     $ENV{CAMLI_DEV_NEWUI_FILES} = "$FindBin::Bin/server/camlistored/newui"; # set in server/camlistored/newui/fileembed.go
     unless ($opt_offline) {
+        if (-e "$Bin/tmp/closure-lib/.svn") {
+            system("rm", "-rf", "$Bin/tmp/closure-lib") and die "Failed to remove the svn checkout of the closure-lib.\n";
+        }
         get_closure_lib();
         get_closure_compiler();
         chdir $Bin or die;