Subject: Re: 13apr2000 /usr/src/usr.sbin/pppd/pppd/Makefile oddity
To: None <>
From: Sean Doran <>
List: current-users
Date: 04/14/2000 15:00:14
| 	aha, you did not clean the directory and old eui64.o was there.
| 	perform "make clean" and you will be fine.
| 	(there should be a way for make to detect Makefile changes...)

Yes, I think 'make build UPDATE=1 DESTDIR=someplace' is pretty common.

Thanks for the help.