Lines Matching refs:FILE
10 # This file is part of GNU Make.
21 # GNU Make; see the file COPYING. If not, write to the Free Software
232 # See if the filesystem supports long file names with multiple
235 (open (TOUCHFD, "> fancy.file.name") && close (TOUCHFD))
237 unlink ("fancy.file.name") || ($short_filenames = 1);
583 . "${t}If this option is given, then the profile file\n"
680 print "\nCreating Difference File ...\n" if $debug;
682 # Create the difference file
878 # local ($file);
880 # foreach $file (@filenames)
882 # utime ($now, $now, $file)
883 # || (open (TOUCHFD, ">> $file") && close (TOUCHFD))
884 # || &error ("Couldn't touch $file: $!\n", 1);
890 # skewed, because it sets the time of the file based on the _local_
891 # host. Normally when you modify a file, it's the _remote_ host that
893 # the file and write something into it to force the remote host to set
899 local ($file);
901 foreach $file (@_) {
902 (open(T, ">> $file") && print(T "\n") && close(T))
903 || &error("Couldn't touch $file: $!\n", 1);
908 # access/mod time for each file and apply the offset.
913 local ($file);
922 # open a file, write some stuff to it, and close it.
940 # FILE:contents indicates a file, which should contain contents +\n
961 elsif ($dirtree {$path} =~ /^FILE:(.*)$/)
1056 elsif ($dirtree {$path} =~ /^FILE:(.*)$/)
1060 print "compare_dir_tree: $path is not a file.\n";
1112 foreach $file (@allfiles)
1114 print "compare_dir_tree: $file should not exist.\n";
