Closed tmuehlbacher closed 2 months ago
Because we were using DESTDIR instead of PREFIX for some reason, no one noticed that this didn't work.
DESTDIR
PREFIX
Because we were using
DESTDIR
instead ofPREFIX
for some reason, no one noticed that this didn't work.