Comment 2 for bug 1719670

Revision history for this message
Ralph Lange (ralph-lange) wrote :

Careful.
This is one of the directories that are source as well as installation (configure, startup, iocBoot), so that the case of INSTALL_LOCATION != TOP has to be treated differently (install and remove on distclean) from INSTALL_LOCATION == TOP (neither install nor remove).

The check should be done on normalized directories to catch settings of the two variables that are different but point to the same directory.
(Been there ...)