#!/bin/sh
set -e

if [ -e /etc/psdevtab ] ; then
	rm -f /etc/psdevtab
fi
ps > /dev/null
