]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/tools/collect_files
structurated attribute names added
[helm.git] / helm / DEVEL / pxp / pxp / tools / collect_files
1 #! /bin/sh
2 #
3 # $Id$
4 # ----------------------------------------------------------------------
5 #
6 # usage: collect_files file ...
7 #
8 # Prints the names of the files passed as arguments which actually
9 # exist and are regular files.
10
11 for x in "$@"; do
12     if [ -f "$x" ]; then
13         echo "$x"
14     fi
15 done
16
17 # ======================================================================
18 #
19 # $Log$
20 # Revision 1.1  2000/11/17 09:57:35  lpadovan
21 # Initial revision
22 #
23 # Revision 1.1  2000/07/27 21:07:26  gerd
24 #       Initial revision.
25 #