[PATCH 2/2] Remove configure.cmd as it's a personal file

[Thomas Arnhold]

---
 configure.cmd |    7 -------
 1 files changed, 0 insertions(+), 7 deletions(-)
 delete mode 100755 configure.cmd

diff --git a/configure.cmd b/configure.cmd
deleted file mode 100755
index dfdc0b6..0000000
--- a/configure.cmd
+++ /dev/null
@@ -1,7 +0,0 @@
- at echo off
-setlocal
-SET MY_ANT_HOME=e:/java150/apache-ant-1.7.0
-SET JAVA_HOME=e:\java150
-SET PATH=%JAVA_HOME%\bin;%PATH%;%MY_ANT_HOME%\bin;
-sh -c "configure --with-system-openssl --with-system-icu --with-system-libxml --with-system-libxslt --disable-werror --with-use-shell=bash --disable-mozilla --disable-epm --disable-odk --disable-qadevooo --with-x=no --disable-fontconfig --disable-gnome-vfs --disable-gtk --with-java=yes --without-nas --without-fonts --with-ant-home=%MY_ANT_HOME%" | tee configure.log
-endlocal
-- 
1.7.3.5


--------------020204060307000308030108--