Add patching script for busybox.

step- · Dec 14, 2020 · f089b1d · f089b1d
1 parent a1712b3
commit f089b1d
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tool/patch-for-busybox-awk.sh b/tool/patch-for-busybox-awk.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+set -e # KEEP
+
+J=${1:-JSON.awk}
+
+cp "$J" "$J.$(date +'%Y%m%d%H%M%S').bak"
+
+sed -i -e 's/\\000/\\001/g' -e '/^# Version:/ s/$/ PATCHED for busybox awk/' $J
+
+if ! grep -qFm1 '\000' "$J"; then
+	echo "$J is patched for busybox awk"
+fi