diff options
| author | Ulrich Müller <ulm@gentoo.org> | 2023-03-23 17:39:55 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2023-03-26 13:33:48 +0200 |
| commit | c09c4baf540af2807d739f7257fdecc2008c6f57 (patch) | |
| tree | 602327c7ce8337c250f14b6ee07e7d3d5f7151aa /eclass/php-ext-source-r3.eclass | |
| parent | 35256ae8bbee73676899c1a2921c72ad81a052f7 (diff) | |
| download | gentoo-c09c4baf540af2807d739f7257fdecc2008c6f57.tar.gz gentoo-c09c4baf540af2807d739f7257fdecc2008c6f57.tar.bz2 gentoo-c09c4baf540af2807d739f7257fdecc2008c6f57.zip | |
opam.eclass: Quote argument of ":" command
This avoids globbing, see: https://www.shellcheck.net/wiki/SC2223
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'eclass/php-ext-source-r3.eclass')
0 files changed, 0 insertions, 0 deletions