lib/Tools/usedir
changeset 8747 22580c8bc62f
parent 8568 b18540435f26
child 8810 d0eae42f6d12
--- 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