projects / pigpio.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a0ba4b) | patch
Make DESTDIR option to make install and make uninstall actually work.
authorPeter Michael Green <plugwash@debian.org>
Fri, 9 Nov 2018 00:30:58 +0000 (00:30 +0000)
committerPeter Michael Green <plugwash@debian.org>
Fri, 9 Nov 2018 00:30:58 +0000 (00:30 +0000)
commit4277ff6d19c23f9f50456b324dd867bc672f6137
treebab0e33dbeefaf2e498473a84ee4d4e208c3c7e3tree | snapshot
parent6a0ba4bd9ec770ca27616f4aa657b85eaa4a0759commit | diff
Make DESTDIR option to make install and make uninstall actually work.
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.