You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
we make it at this time to make `bsb -help` easier
79
83
*)
80
84
"-ws", call_spec ignore,
81
-
"[host:]port specify a websocket number (and optionally, a host). When a build finishes, we send a message to that port. For tools that listen on build completion." ;
85
+
"[host:]port \n\
86
+
specify a websocket number (and optionally, a host). \n\
87
+
When a build finishes, we send a message to that port. \n\
0 commit comments