#!/bin/sh

gnu=`find --version 2>/dev/null | grep -i gnu`
if [ "$gnu" != "" ]; then
	exec find "$@"
else
	exec athrun gnu gfind "$@"
fi