-
Davor Ocelic authored
Fixes a warning on 'make install' which is printed if the previous binary does not exist. Functionality the previous and current behavior are almost identical, with the benefit that the irrelevant error message is now silently ignored rather than too verbosely printed and potentially confusing the user.
12c8c47f