From 36dd1affa1f8e536fc5572b6d762b7f12b2a0270 Mon Sep 17 00:00:00 2001 From: joachimschmidt557 Date: Sun, 19 Jan 2020 22:49:42 +0100 Subject: [PATCH] update src --- src | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src b/src index 86a5966..f837e7d 100755 --- a/src +++ b/src @@ -89,7 +89,7 @@ preproc() { fi tmp="$srcfile.tmp" - awk '!($$0 ~ /^#/) { print }' "$srcfile" > "$tmp" + sed 's/^#.*//; /^\s*$/d' < "$srcfile" > "$tmp" } cleanup() {