diff options
| author | Rob Austein <sra@hactrn.net> | 2013-02-03 02:07:39 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2013-02-03 02:07:39 +0000 |
| commit | 4a6cf03cc65e811d88fa61543156eb286ca3a752 (patch) | |
| tree | e886dce4909455d458a64a334938ba6a06eb3245 /rpkid | |
| parent | 41ffa30ef85e021fa77d8f44e2baf8cb13beafc1 (diff) | |
Seems /var/run is a temporary filesystem on some platforms.
svn path=/branches/tk377/; revision=5016
Diffstat (limited to 'rpkid')
| -rw-r--r-- | rpkid/Makefile.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index 1ec9cc4b..8bf4217b 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -116,7 +116,12 @@ install:: @echo @echo "== Default configuration file location is ${sysconfdir}/rpki.conf ==" @echo - if test -d ${PID_DIR}; then :; else ${INSTALL} -d ${PID_DIR}; fi +# +# We used to do this, but Debian/Ubuntu lintian complained that +# /var/run may be a temporary filesystem, thus directories like this +# should be created at boot. Fair point. +# +# if test -d ${PID_DIR}; then :; else ${INSTALL} -d ${PID_DIR}; fi uninstall deinstall:: xargs rm -fv <installed |