Found in "gnokii-working" directory, some November-patches version

[gnokii.git] / do

diff --git a/do b/do
new file mode 100755 (executable)
index 0000000..742b7e9
--- /dev/null
+++ b/do
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+enable_debug=1
+
+exec 2>&1
+set -ex
+rm -f config.cache
+autoconf
+# rm -f config.cache
+./configure --without-x \
+               `if [ -n "$enable_debug" ];then echo "--enable-debug --enable-xdebug";fi`
+make clean
+make