From 1f3079f545584d61740729c3fc0baeaecfcb70bd Mon Sep 17 00:00:00 2001
From: step- <step-@users.noreply.github.com>
Date: Thu, 13 Aug 2020 20:32:33 +0200
Subject: [PATCH] One more compatibility fix for old awk versions.

Aimed at old "onetrueawk" versions as the preceding commit.
See #10 for details.
---
 JSON.awk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/JSON.awk b/JSON.awk
index 7489cd9..71654f8 100755
--- a/JSON.awk
+++ b/JSON.awk
@@ -54,7 +54,7 @@ BEGIN { #{{{1
 	} # else usage: awk -f JSON.awk file1 [file2...]
 
 	# set file slurping mode
-	srand(); RS="n/o/m/a/t/c/h" rand()
+	srand(); RS="\x01n/o/m/a/t/c/h" rand()
 }
 
 { # main loop: process each file in turn {{{1