# HG changeset patch
# User wenzelm
# Date 956141784 -7200
# Node ID 22580c8bc62f6848d3461418a9c7c574897d9d78
# Parent  ccbb5e0dccdf47c0ee8940bbc776bfcf091e25f1
fixed -c default value;

diff -r ccbb5e0dccdf -r 22580c8bc62f lib/Tools/usedir
--- a/lib/Tools/usedir	Wed Apr 19 12:54:56 2000 +0200
+++ b/lib/Tools/usedir	Wed Apr 19 12:56:24 2000 +0200
@@ -41,7 +41,7 @@
 DUMP=""
 RPATH=""
 BUILD=""
-COMPRESS=""
+COMPRESS=true
 DOCUMENT=false
 INFO=false
 RESET=false