X-Git-Url: https://git.wh0rd.org/?p=dump.git;a=blobdiff_plain;f=dump%2Fmain.c;h=ee6717272dc5dd661455eb7b7075f1472278d73a;hp=6ac72ee017d582191979c578a481bfc04d4b253b;hb=633963a251fb12a63e43a7f6f2391dc9507972a7;hpb=78daec31fcd3deeb9a1fe0129521abc9959a51bb

diff --git a/dump/main.c b/dump/main.c
index 6ac72ee..ee67172 100644
--- a/dump/main.c
+++ b/dump/main.c
@@ -41,7 +41,7 @@
 
 #ifndef lint
 static const char rcsid[] =
-	"$Id: main.c,v 1.68 2002/01/25 15:08:59 stelian Exp $";
+	"$Id: main.c,v 1.69 2002/01/31 10:49:17 stelian Exp $";
 #endif /* not lint */
 
 #include <config.h>
@@ -531,7 +531,8 @@ main(int argc, char *argv[])
 	 */
 	i = strlen(diskparam) - 1;
 	if (i > 1 && diskparam[i] == '/')
-		diskparam[i] = '\0';
+		if (!(i == 6 && !strcmp(diskparam, "LABEL=/")))
+			diskparam[i] = '\0';
 
 	disk = get_device_name(diskparam);
 	if (!disk) {		/* null means the disk is some form