#!/usr/bin/env bash

rm -f "$ERRFILE"