#!/bin/sh
# DF-0815 run (unprivileged)
cd "$(dirname "$0")"
echo "+ ./df0815 /etc"
./df0815 /etc
echo "RUN_EXIT=$?"