#!/bin/bash

rm $ERRFILE