diff options
| author | Robert Speicher <rspeicher@gmail.com> | 2016-12-06 15:46:48 +1100 |
|---|---|---|
| committer | Robert Speicher <rspeicher@gmail.com> | 2016-12-06 15:46:48 +1100 |
| commit | d6c2f5f5699495260aa2a99ea09a1764e9ec5e9c (patch) | |
| tree | 2e7883f3b23b041f6830217225bb391aeb2a3cf9 /scripts | |
| parent | 18201ace36f13eb916737154178d700feb4eeec6 (diff) | |
| download | gitlab-ce-d6c2f5f5699495260aa2a99ea09a1764e9ec5e9c.tar.gz | |
Use `--extended-regexp` in lint-doc for compatibility with Darwin greprs-extended-regexp
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/lint-doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index 7c4e8276902..62236ed539a 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -3,7 +3,7 @@ cd "$(dirname "$0")/.." # Use long options (e.g. --header instead of -H) for curl examples in documentation. -grep --perl-regexp --recursive --color=auto 'curl (.+ )?-[^- ].*' doc/ +grep --extended-regexp --recursive --color=auto 'curl (.+ )?-[^- ].*' doc/ if [ $? == 0 ] then echo '✖ ERROR: Short options should not be used in documentation!' >&2 |