title: Can Jenkins scripted pipeline disable concurrent builds?
body: <p>I am switching my Declarative Jenkins pipeline to a scripted Jenkins pipeline. However, the 'options' direction I was using previously to disableConcurrentBuilds() does not seem to be available for scripted pipelines according to the <a href="https://jenkins.io/doc/book/pipeline/syntax/#options" rel="noreferrer">Jenkins documentation</a>. </p>
  
  <p>I've seen some suggestions on SO for using resource locking, but I was wondering if there was a cleaner, more direct way of preventing concurrent builds in the Jenkinsfile of scripted pipelines?</p>