diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-10-18 15:20:49 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-10-18 15:20:49 +0200 |
commit | 0e0842330d1ef11f9ac6fa70d9f84bdb16084c45 (patch) | |
tree | ade516cf85cfa50b88b1b6105fc6364204275183 /doc/doc.html2ps | |
parent | 0d6f835ffb582296d24a8d1dd479e2703e075ee3 (diff) |
Add $quote() function for quoting values
This can be useful if we want to pass a value on the command line, for
example, in a testscript:
$* config.cxx=$quote($recall($cxx.path) $cxx.mode, true)
Diffstat (limited to 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions