chiark / gitweb /
Remove obsolete and broken dist target in root Makefile.
[userv-utils] / misc / checkpasswd-other
1 #
2 if ( grep calling-user /etc/userv/checkpasswd-service-users
3    & glob service-user root
4    )
5         reset
6         no-set-environment
7         disconnect-hup
8         no-suppress-args
9         execute checkpasswd-service /var/run/checkpasswd.synch 0.5 --
10 fi