mirror of
git://git.sv.gnu.org/autoconf
synced 2025-02-11 13:51:04 +08:00
make fetch
This commit is contained in:
parent
e30ed26209
commit
e54e3f907b
@ -104,7 +104,7 @@ endif
|
|||||||
|
|
||||||
abort-due-to-no-makefile:
|
abort-due-to-no-makefile:
|
||||||
@echo There seems to be no Makefile in this directory. 1>&2
|
@echo There seems to be no Makefile in this directory. 1>&2
|
||||||
@echo "You must run ./configure before running '$(MAKE)'." 1>&2
|
@echo "You must run ./configure before running 'make'." 1>&2
|
||||||
@exit 1
|
@exit 1
|
||||||
|
|
||||||
endif
|
endif
|
||||||
|
@ -232,7 +232,8 @@ sub lock
|
|||||||
|
|
||||||
# Unless explicitly configured otherwise, Perl implements its 'flock' with the
|
# Unless explicitly configured otherwise, Perl implements its 'flock' with the
|
||||||
# first of flock(2), fcntl(2), or lockf(3) that works. These can fail on
|
# first of flock(2), fcntl(2), or lockf(3) that works. These can fail on
|
||||||
# NFS-backed files, with ENOLCK (GNU/Linux) or EOPNOTSUPP (FreeBSD); we
|
# NFS-backed files, with ENOLCK (GNU/Linux) or EOPNOTSUPP (FreeBSD) or
|
||||||
|
# EINVAL (OpenIndiana, as per POSIX 1003.1-2017 fcntl spec); we
|
||||||
# usually ignore these errors. If $ENV{MAKEFLAGS} suggests that a parallel
|
# usually ignore these errors. If $ENV{MAKEFLAGS} suggests that a parallel
|
||||||
# invocation of 'make' has invoked the tool we serve, report all locking
|
# invocation of 'make' has invoked the tool we serve, report all locking
|
||||||
# failures and abort.
|
# failures and abort.
|
||||||
@ -251,7 +252,7 @@ sub lock
|
|||||||
|
|
||||||
msg ($make_j ? 'fatal' : 'unsupported',
|
msg ($make_j ? 'fatal' : 'unsupported',
|
||||||
"cannot lock $file with mode $mode: $!" . ($make_j ? $note : ""))
|
"cannot lock $file with mode $mode: $!" . ($make_j ? $note : ""))
|
||||||
if $make_j || !($!{ENOLCK} || $!{EOPNOTSUPP});
|
if $make_j || !($!{EINVAL} || $!{ENOLCK} || $!{EOPNOTSUPP});
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user