#!/usr/bin/env bash

silent_rm $ERRFILE