#! /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. #