use config tool as submodule

[ott/enhance] / settings.txt

diff --git a/settings.txt b/settings.txt
index 5cccada780237f3265671c0e0e66c1461ba5b0b4..fc883ae0c7780b0878f9e1a4ed3894de3aa420c3 100644 (file)
--- a/settings.txt
+++ b/settings.txt
@@ -51,7 +51,6 @@ CONF_reveal   = $_bin_reveal_cgi_path
 CONF_t-1      = $_bin_t-1_cgi_path
 
 
-MAKE_CONFIGURE = CONFIGURE = $configure
 MAKE_TARGET    = TARGET    = $target
 
 MAKE_CAT    = CAT  =$cat