Lines Matching refs:script

43 The script leaves you inside a bash shell in the running image.
70 You can modify the `runDocker` script to change the `docker` command-line
72 that script, so you have the latest version of the spec toolchain.
82     The `makeSpec` python script, which is discussed in more detail
117     the underlying script is given additional options.
191 The `makeSpec` wrapper script can clean generated files and then build one
230 The `makeSpec` script already does this.
252 `$(DIFFEXTENSIONS)` can be set when using the `makeSpec` script described
292 The `allchecks` Makefile target runs a Python script that looks for markup
295 This script is necessarily heuristic, since it is dealing with lots of
298 This script is also run as part of the CI tests in the internal Khronos
313 asciidoctor extension script.
345 The `genRef.py` script will generate many warnings, but most are just
419 script described above under <<building, Building the Spec>>, the image will
471     `runDocker` script and the same SHA256 of the latest image as used by