mirror of git://gcc.gnu.org/git/gcc.git
parent
48884537a3
commit
1767cc4fa9
|
|
@ -4799,7 +4799,7 @@ relink_command=\"$relink_command\""
|
||||||
# but it's something to keep an eye on.
|
# but it's something to keep an eye on.
|
||||||
if test "$inst_prefix_dir" = "$destdir"; then
|
if test "$inst_prefix_dir" = "$destdir"; then
|
||||||
$echo "$modename: error: cannot install \`$file' to a directory not ending in $libdir" 1>&2
|
$echo "$modename: error: cannot install \`$file' to a directory not ending in $libdir" 1>&2
|
||||||
exit $EXIT_FAILURE
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if test -n "$inst_prefix_dir"; then
|
if test -n "$inst_prefix_dir"; then
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue