From ea96bc52e48b553dabcdaf6cbade7a332f8ffb1d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 12 Jan 2021 21:53:39 -0800
Subject: CONTRIBUTING: note on GNU xargs

---
 CONTRIBUTING.md | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'CONTRIBUTING.md')

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 0749daeac..e87c96694 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -291,6 +291,9 @@ before creating a commit:
     git diff --diff-filter=MA --cached --name-only | grep '\.hs$' | \
       xargs hlint --hint .hlint.yaml
 
+(If you are using GNU `xargs`, add the `-r` option immediately
+after `xargs`.)
+
 Saving this to `.git/hooks/pre-commit`, and making the script
 executable, will prevent accidental introduction of potentially
 problematic code.
-- 
cgit v1.2.3