Code

bashlib parse__argv: check filegrps#743

Code

Merged

kba merged 3 commits intoOCR-D:masterOCR-D/core:masterfrom bertsky:bashlib-parse-argv-filegrpsbertsky/core:bashlib-parse-argv-filegrpsCopy head branch name to clipboardNov 30, 2021

+30-3

Commits

Commits on Nov 11, 2021

• ocrd workspace validate tasks: allow passing --overwrite and --page-id

  bertsky

  committed
  94aff22

  Copy full SHA for 94aff22

• bashlib parse__argv: validate fileGrps on workspace, too

  bertsky

  committed
  89713b6

  Copy full SHA for 89713b6

• bashlib makefile: delete target if recipe failed

  bertsky

  committed
  273d75a

  Copy full SHA for 273d75a