Skip to content
User-space tools for LinuxPPS
C Shell Makefile
Branch: master
Clone or download
tpetazzoni and gerasiov Makefile: fix installation to empty DESTDIR
When DESTDIR is empty, or at least does not contain usr/bin or
usr/include, the installation fails, because install does not create
those intermediate directories:

$ make DESTDIR=/tmp/koin install
install -m 755 -t /tmp/koin/usr/bin ppsfind ppstest ppsctl ppswatch ppsldisc
install: failed to access '/tmp/koin/usr/bin': No such file or directory

Using the -D option of install fixes this:

$ make DESTDIR=/tmp/koin install
install -D -m 755 -t /tmp/koin/usr/bin ppsfind ppstest ppsctl ppswatch ppsldisc
install -D -m 644 -t /tmp/koin/usr/include/sys timepps.h

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Latest commit b3eae48 Dec 3, 2018
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
COPYING
Makefile
ppsctl.c
ppsfind
ppsldisc.c Add ppsldisc from LKML patch by Rodolfo Giometti. Aug 29, 2017
ppstest.c Removes OFFSETASSERT requirement from ppstest and ppsctl. Aug 21, 2017
ppswatch.c
timepps.h
You can’t perform that action at this time.