#! /bin/sh
#
# $Id: collect_files 1448 2010-05-05 12:34:11Z gerd $
# ----------------------------------------------------------------------
#
# usage: collect_files file ...
#
# Prints the names of the files passed as arguments which actually
# exist and are regular files.

for x in "$@"; do
    if [ -f "$x" ]; then
	case "$x" in
	    *.p.cmi) : ;;
	    *.p.so) : ;;
	    *) echo "$x" ;;
	esac
    fi
done

# ======================================================================
#
# $Log$
# Revision 1.1  2001/10/04 01:56:23  stolpmann
# 	Initial revision
#
# Revision 1.1  2000/07/27 21:07:26  gerd
# 	Initial revision.
#