Index: generic/nsf.c =================================================================== diff -u -N -r56771aadda62cc84f8631070e54c87e9f2e26c8b -ra7f9062325adb4e4a91adf35360c798a45d02bbb --- generic/nsf.c (.../nsf.c) (revision 56771aadda62cc84f8631070e54c87e9f2e26c8b) +++ generic/nsf.c (.../nsf.c) (revision a7f9062325adb4e4a91adf35360c798a45d02bbb) @@ -26961,14 +26961,10 @@ int boolVal; nonnull_assert(interp != NULL); - #if defined(NSF_DTRACE) if (NSF_DTRACE_CONFIGURE_PROBE_ENABLED()) { - /* TODO: opts copied from tclAPI.h; maybe make global value? */ - static const char *opts[] = { - "debug", "dtrace", "filter", "profile", "trace", "softrecreate", - "objectsystems", "keepcmds", "checkresults", "checkarguments", NULL}; - NSF_DTRACE_CONFIGURE_PROBE((char *)opts[configureoption-1], (valueObj != NULL) ? ObjStr(valueObj) : NULL); + NSF_DTRACE_CONFIGURE_PROBE((char *)Nsf_Configureoption[option-1], + (valueObj != NULL) ? ObjStr(valueObj) : NULL); } #endif