On Tue, Jun 13, 2017 at 9:45 AM, Jeffrey Walton <noloader@xxxxxxxxx> wrote: > On Tue, Jun 13, 2017 at 8:40 AM, Zack Weinberg <zackw@xxxxxxxxx> wrote: >> On Tue, Jun 13, 2017 at 8:29 AM, Jeffrey Walton <noloader@xxxxxxxxx> wrote: >>> >>> Why does Autotools produce a makefile which does _not_ update the >>> cache under Bash shells? >> >> It can't. The rehash operation has to be done in the shell that is >> the parent process of 'make install' (and any other shell processes >> that are running at the time); there is no way for 'make install' to >> do that. > > Thanks, makes sense. > > I understand its a bad interaction. Things should "just work", but > they don't. Would you happen to know why Bash does not update on its > own after a 'make install'? How is Bash to know that some random command changed the contents of the directories in PATH? Nowadays, I suppose it could use inotify/dnotify/whatever the current flavor of that is to find out, but in the past there was no such mechanism. zw _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx https://lists.gnu.org/mailman/listinfo/autoconf