#!/bin/sh
# $Id$
if test "X$FAST" != "X" ; then echo "Not running $0" ;  exit 0 ; fi
linux_src=${1-$AFSROOT/pdc.kth.se/src/OS/Linux/}
(cd ${linux_src} ; find . ) >&4
