From c5b33045238aa22a108c5ffd6989770e94b206eb Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Mon, 6 Jun 2022 21:10:38 +1000 Subject: Replacing cabal-helper-0.8.1.2 with 1.1.0.0 --- .../update-cabal-common-section-instantiations.awk | 34 ---------------------- 1 file changed, 34 deletions(-) delete mode 100644 vendor/cabal-helper-0.8.1.2/scripts/update-cabal-common-section-instantiations.awk (limited to 'vendor/cabal-helper-0.8.1.2/scripts/update-cabal-common-section-instantiations.awk') diff --git a/vendor/cabal-helper-0.8.1.2/scripts/update-cabal-common-section-instantiations.awk b/vendor/cabal-helper-0.8.1.2/scripts/update-cabal-common-section-instantiations.awk deleted file mode 100644 index 0bfacae..0000000 --- a/vendor/cabal-helper-0.8.1.2/scripts/update-cabal-common-section-instantiations.awk +++ /dev/null @@ -1,34 +0,0 @@ -BEGIN { - delete sections; - section=""; - ignoring=0; -} - -/^[[:space:]]*$/ { - section=""; - ignoring=0; -} - -{ - if(section) { - tmp = sections[section]; - sections[section] = tmp (tmp ? RS : "") $0; - } -} - -/^[[:space:]]*-- *Common/ { - section = $3 -} - -/^[[:space:]]*-- *Instantiate *common/ { - ignoring=1 - - print $0; - print sections[$4]; -} - -{ - if(!ignoring) { - print $0; - } -} -- cgit v1.2.3