From 96d19551c0ceaf98ad065930ee82b8ff7961d826 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Thu, 24 Mar 2022 17:41:49 -0700
Subject: If Bash is available, use process substitution.

---
 cppawk.1 | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'cppawk.1')

diff --git a/cppawk.1 b/cppawk.1
index 4a70a17..9aed0b5 100644
--- a/cppawk.1
+++ b/cppawk.1
@@ -84,6 +84,12 @@ is then invoked on this file. The file is deleted when
 .B awk
 terminates.
 
+.IP "\fB\-\-nobash\fR"
+Pretend that the shell which executes
+.B cppawk
+isn't GNU Bash, even if it is. This has the effect of disabling
+the use of process substitution in favor of the use of a temporary file.
+
 .IP "\fB\-M\fR, \fB\--bignum\fR"
 These two equivalent GNU Awk options are passed through to
 .BR awk ,
-- 
cgit v1.2.3