mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-20 00:51:42 +00:00
The two run scripts now take an extra optional parameter [-m] that overrides the giving and taking of the mutex and lets the user handle it. This is used by the jenkins script to prevent other users from jumping in at any time while the script is running. Change-Id: Iffcbeb7ce677b173b1e9b7d9953d5a35b2643436
5.7 KiB
Executable File
5.7 KiB
Executable File