Update alias for `dumplocks` command (#4947)
authorKoundinya Veluri <kouvel@users.noreply.github.com>
Thu, 19 Sep 2024 16:43:34 +0000 (09:43 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Sep 2024 16:43:34 +0000 (09:43 -0700)
- Sets `DumpLocks` as an alias for `dumplocks`
- Alternatively, `DumpLocks` could be made the main command and
`dumplocks` an alias

src/SOS/Strike/sos.def

index 73f7ed5dac88fe471c512960dba3edec203908cc..f0ac6da839b294c73e20e6dedae99d9ccda32291 100644 (file)
@@ -52,7 +52,7 @@ EXPORTS
     DumpIL
     dumpil=DumpIL
     dumplocks
-    dumplocks=DumpLocks
+    DumpLocks=dumplocks
     DumpLog
     dumplog=DumpLog
     Dumplog=DumpLog