diff options
author | Yuchen Pei <hi@ypei.me> | 2022-06-06 21:10:38 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-06-06 21:10:38 +1000 |
commit | c5b33045238aa22a108c5ffd6989770e94b206eb (patch) | |
tree | 70f0325044b9d4748870a62adebca5c0e46f9e59 /vendor/cabal-helper-0.8.1.2/scripts/update-cabal-common-section-instantiations.awk | |
parent | 93825d12f0e3c97a5db4a48b4fe6ae4865256a67 (diff) |
Replacing cabal-helper-0.8.1.2 with 1.1.0.0
Diffstat (limited to 'vendor/cabal-helper-0.8.1.2/scripts/update-cabal-common-section-instantiations.awk')
-rw-r--r-- | vendor/cabal-helper-0.8.1.2/scripts/update-cabal-common-section-instantiations.awk | 34 |
1 files changed, 0 insertions, 34 deletions
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; - } -} |