diff options
| -rw-r--r-- | config/Tools.mk.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index 057b0554ac..dad7bd324f 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -11,7 +11,6 @@ FLEX := @FLEX@ PYTHON := @PYTHON@ PYTHON_PATH := @PYTHONPATH@ PERL := @PERL@ -IP := @IP@ CURL_CONFIG := @CURL@ XML2_CONFIG := @XML@ BASH := @BASH@ |