diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2018-12-02 15:34:03 +0100 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 03:06:51 +0100 |
commit | 8bb123786d32f39db14dad3f7c09743d1f5f99d7 (patch) | |
tree | fdb1f58409935024a91f0d12ee6888e2540c3577 /scripts | |
parent | 7a465be2372c79f520769a26f9e57b43e4327c52 (diff) |
Migrate to Cabal-2.2 common stanzas, yey!
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/update-cabal-common-section-instantiations.awk | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/scripts/update-cabal-common-section-instantiations.awk b/scripts/update-cabal-common-section-instantiations.awk deleted file mode 100644 index 0bfacae..0000000 --- a/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; - } -} |