diff options
Diffstat (limited to 'policy')
| -rw-r--r-- | policy/Makefile.am | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/policy/Makefile.am b/policy/Makefile.am index c10a7d9963..e3ec1cfb22 100644 --- a/policy/Makefile.am +++ b/policy/Makefile.am @@ -12,7 +12,7 @@ check: then \ echo ok; \ else \ - echo failed; \ + echo failed; \ exit 1; \ fi; \ done; @@ -21,22 +21,3 @@ clean-local : rm -f *~ polkit_policydir = $(datadir)/PolicyKit/policy -dist_polkit_policy_DATA = \ - org.freedesktop.network-manager-settings.system.policy - -check: - for f in $(dist_polkit_policy_DATA); do \ - echo -n "Validate PolicyKit policy in $$f : "; \ - $(POLKIT_POLICY_FILE_VALIDATE) $(srcdir)/$$f ; \ - ret=$$?; \ - if [ "$$ret" == "0" ]; \ - then \ - echo ok; \ - else \ - echo failed; \ - exit 1; \ - fi; \ - done; - -clean-local : - rm -f *~ |