#!/bin/sh
set -e

if [ -e /etc/psdevtab ] ; then 
	rm -f /etc/psdevtab
fi
