follow-up tweaking for missing sysconf --showpaths

src/files.c

@@ -4565,6 +4565,7 @@ debugcore(const char *filename, boolean wildcards)
 void
 reveal_paths(int code)
 {
+    boolean skip_sysopt = FALSE;
     const char *fqn, *nodumpreason,
 	  *sysconffile = "system configuration file";
 
@@ -4617,6 +4618,7 @@ reveal_paths(int code)
     if (code == 1) {
         raw_printf("NOTE: The %s above is missing or inaccessible!",
                    sysconffile);
+	skip_sysopt = TRUE;
     }
 #else /* !SYSCF */
     raw_printf("No system configuration file.");
@@ -4690,17 +4692,20 @@ reveal_paths(int code)
 
     /* dumplog */
 
+    fqn = (char *) 0;
 #ifndef DUMPLOG
     nodumpreason = "not supported";
 #else
     nodumpreason = "disabled";
 #ifdef SYSCF
+    if (!skip_sysopt) {
         fqn = sysopt.dumplogfile;
+    } else {
+        nodumpreason = "dumplogfile setting unavailable from missing sysconf";
+    }
 #else  /* !SYSCF */
 #ifdef DUMPLOG_FILE
     fqn = DUMPLOG_FILE;
-#else
-    fqn = (char *) 0;
 #endif
 #endif /* ?SYSCF */
     if (fqn && *fqn) {
@@ -4708,11 +4713,13 @@ reveal_paths(int code)
         (void) dump_fmtstr(fqn, buf, FALSE);
         buf[sizeof buf - sizeof "    \"\""] = '\0';
         raw_printf("    \"%s\"", buf);
-    } else
+    } else {
+        raw_printf("No end-of-game disclosure file (%s)", nodumpreason);
+    }
 #endif /* ?DUMPLOG */
-        raw_printf("No end-of-game disclosure file (%s).", nodumpreason);
 
 #ifdef WIN32
+    if (!skip_sysopt) {
         if (sysopt.portable_device_paths) {
             const char *pd = get_portable_device();
 
@@ -4724,6 +4731,7 @@ reveal_paths(int code)
                 raw_printf("    \"%s\"", pd);
             }
         }
+    }
 #endif
 
     /* personal configuration file */