automatically add 0x80000000 to bucket-type specified on the command-line

diff --git a/lib/buckettool.c b/lib/buckettool.c
index 2bac2c79048d42778043aae1fa206dbf33b03aed..2b4ff592f226c47fc93f91f6e4546d64712a63ad 100644 (file)
--- a/lib/buckettool.c
+++ b/lib/buckettool.c
@@ -156,6 +156,8 @@ insert(byte *arg)
     type = BUCKET_TYPE_PLAIN;
   else if (sscanf(arg, "%x", &type) != 1)
     die("Type `%s' is not a hexadecimal number");
+  if (type < 10)
+    type += BUCKET_TYPE_PLAIN;
   attr_set_type(type);
 
   in = bfdopen_shared(0, 4096);