summaryrefslogtreecommitdiff
path: root/update-binary
diff options
context:
space:
mode:
authorAdam M. Stück <adam@adast.xyz>2022-12-16 21:37:56 +0100
committerAdam M. Stück <adam@adast.xyz>2022-12-17 17:03:19 +0100
commit98bc70eebf9c425866f26a916d5b49a63a1d2c8b (patch)
tree55da2e51c17b2a6b2f8294e3769dc12b13e0f95a /update-binary
parent490431782825d9d032d301fa2ea9665fa2f87b7e (diff)
Simplified 'start' script usage
Removed switch to use sbatch. Using sbatch is now the default. The line to run VerifyPN locally is just left as a comment beneath the sbatch call. Added a BINARY argument, so I don't have to hardcode each experiments binary. Updated and improved the help message to reflect the changes.
Diffstat (limited to 'update-binary')
0 files changed, 0 insertions, 0 deletions