Skip to content
Snippets Groups Projects

Remove init_flags and final_flags from plugin type

Merged BinderDavid requested to merge remove-default-flags into master
8 files
+ 12
34
Compare changes
  • Side-by-side
  • Inline
Files
8
+ 3
9
@@ -29,9 +29,7 @@ sumPlugin =
usage = "[OPTION] .. <TIX_FILE> [<TIX_FILE> [<TIX_FILE> ..]]",
options = sumOptions,
summary = "Sum multiple .tix files in a single .tix file",
implementation = sumMain,
init_flags = defaultFlags,
final_flags = defaultFinalFlags
implementation = sumMain
}
combineOptions :: FlagOptSeq
@@ -51,9 +49,7 @@ combinePlugin =
usage = "[OPTION] .. <TIX_FILE> <TIX_FILE>",
options = combineOptions,
summary = "Combine two .tix files in a single .tix file",
implementation = combineMain,
init_flags = defaultFlags,
final_flags = defaultFinalFlags
implementation = combineMain
}
mapOptions :: FlagOptSeq
@@ -73,9 +69,7 @@ mapPlugin =
usage = "[OPTION] .. <TIX_FILE> ",
options = mapOptions,
summary = "Map a function over a single .tix file",
implementation = mapMain,
init_flags = defaultFlags,
final_flags = defaultFinalFlags
implementation = mapMain
}
------------------------------------------------------------------------------
Loading