From 1bfd9a05a71e3ec729b65ff040a2496b7b1f8a23 Mon Sep 17 00:00:00 2001 From: Tomasz Kramkowski Date: Thu, 5 Aug 2021 11:27:24 +0100 Subject: .parse-deps: No longer executable, called with sed -f as #!/usr/bin/sed is not portable, it is easier to just use sed -f --- .parse-deps | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100755 .parse-deps (limited to '.parse-deps') diff --git a/.parse-deps b/.parse-deps deleted file mode 100755 index e8dc74b..0000000 --- a/.parse-deps +++ /dev/null @@ -1,17 +0,0 @@ -#!/usr/bin/sed -f -# remove target -1s/^[^:]*: // -# collapse lines -:loop -/\\$/ { - s|///*|/|g - s|$|//| - N - s|\\//. *|| - b loop -} -# split on unescaped spaces -s/\([^\]\) */\1\ -/g -# unescape spaces -s/\\ / /g -- cgit v1.2.3-54-g00ecf