diff options
author | Charles Hannum <mycroft@gnu.org> | 1992-05-21 17:45:16 +0000 |
---|---|---|
committer | Charles Hannum <mycroft@gnu.org> | 1992-05-21 17:45:16 +0000 |
commit | 2f77c93351cbc60110b099f5c3dd8393e997db06 (patch) | |
tree | 7257880b66772b01d3a8937f0de992a0db572c39 /gcc | |
parent | e97ed334241f4bd09ce3b8970366b58ab1192ecb (diff) | |
download | gcc-2f77c93351cbc60110b099f5c3dd8393e997db06.zip gcc-2f77c93351cbc60110b099f5c3dd8393e997db06.tar.gz gcc-2f77c93351cbc60110b099f5c3dd8393e997db06.tar.bz2 |
entered into RCS
From-SVN: r1038
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/vmsconfig.com | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/vmsconfig.com b/gcc/vmsconfig.com index e3a8f28..7be922b 100644 --- a/gcc/vmsconfig.com +++ b/gcc/vmsconfig.com @@ -65,6 +65,12 @@ $! possible compilers. We do this by editing the file Makefile.in, and $! generating the relevant files from it. $! $! +$! Make a copy of the makefile if the sources are on a disk that is NFS +$! mounted on a unix machine. +$if f$search("Makefile.in").eqs."" .and. f$search("$M$akefile.in").nes."" - + then copy $M$akefile.in Makefile.in +$! +$! $echo "Now processing Makefile.in to generate linker option files." $edit/tpu/nojournal/nosection/nodisplay/command=sys$input PROCEDURE generate_option_file (TAG_NAME, outfile) |