#! /bin/bash

diff /dev/null "$1" && rm "$1"