--- ../odk/util/makefile.pmk.org Wed Jul 9 18:59:50 2003 +++ ../odk/util/makefile.pmk Sat Jul 12 18:56:00 2003 @@ -163,9 +163,7 @@ ########### # FREEBSD ########### -DESTDIRBIN=$(DESTDIR)$/freebsd$/bin -DESTDIRLIB=$(DESTDIR)$/freebsd$/lib -DESTDIRDLL=$(DESTDIRLIB) +DESTPLATFROM=freebsd .ELIF "$(OS)"=="IRIX" ###########