/mandos/release

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/release

« back to all changes in this revision

Viewing changes to debian/source/local-options

  • Committer: Teddy Hogeborn
  • Date: 2013-10-27 00:45:08 UTC
  • mto: (237.7.272 trunk)
  • mto: This revision was merged to the branch mainline in revision 307.
  • Revision ID: teddy@recompile.se-20131027004508-puplag2stsmnkfig
Fix fallback to /var/run if /run does not exist for Makefile.

* Makefile (purge-server): Also purge the pid file in the old
                           location, if any.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
--single-debian-patch