From 129b39fc920a7f48043297f6426f2be6b8ccc2e9 Mon Sep 17 00:00:00 2001
From: Kazuho Oku <kazuhooku@gmail.com>
Date: Thu, 10 Apr 2014 14:15:11 +0900
Subject: [PATCH] web/build.pl no longer loads the compilation server (was it
 actually used?)

---
 web/build.pl | 2 --
 1 file changed, 2 deletions(-)

diff --git a/web/build.pl b/web/build.pl
index 2246e5e7..884d9f57 100755
--- a/web/build.pl
+++ b/web/build.pl
@@ -36,8 +36,6 @@
 
 our $g = info("build JSX web interface");
 
-require tool::RunCompilationServer;
-
 my $clean = (grep { $_ eq "--clean" } @ARGV); # clean build
 
 my $web_root = ROOT;