Merge branch 'NetHack-3.6'

2019-11-17 20:31:56 -05:00
parent 856b4db789 a045763f56
commit bb2185203f
8 changed files with 63 additions and 36 deletions
--- a/src/options.c
+++ b/src/options.c
@@ -4091,14 +4091,12 @@ boolean tinitial, tfrom_file;
        }
    }

-#if 0
    /* Is it a symbol? */
    if (strstr(opts, "S_") == opts && parsesymbols(opts, PRIMARY)) {
        switch_symbols(TRUE);
        check_gold_symbol();
        return retval;
    }
-#endif

    /* out of valid options */
    config_error_add("Unknown option '%s'", opts);