web/build.pl no longer loads the compilation server (was it actually …

…used?)
jsx · Apr 10, 2014 · 129b39f · 129b39f
1 parent c4c1324
commit 129b39f
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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;