From: Daniel J Walsh <dwalsh@redhat.com>
To: Karl MacMillan <kmacmill@redhat.com>,
Stephen Smalley <sds@tycho.nsa.gov>,
Joshua Brindle <jbrindle@tresys.com>,
SE Linux <selinux@tycho.nsa.gov>
Subject: There is a bug in checkmodule that is driving me nuts
Date: Fri, 20 Jul 2007 16:22:27 -0400 [thread overview]
Message-ID: <46A11983.5090405@redhat.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 575 bytes --]
The compiler is mistakenly seeing a
gen_requires {
type xguest_gnome_home_t;
}
As a redefinition of the type
/usr/bin/checkmodule -M -m guest.tmp -o guest.mod/usr/bin/checkmodule:
loading policy configuration from guest.tmp
policy/modules/users/guest.te:4:ERROR 'duplicate declaration of
type/attribute' at token ';' on line 55020:
type xguest_gnome_home_t;
#line 4
/usr/bin/checkmodule: error(s) encountered while parsing configuration
The problem is the gen_requires happens before the declaration.
The type is being declared in a template file.
[-- Attachment #2: guest.tmp.bz2 --]
[-- Type: application/x-bzip, Size: 38105 bytes --]
next reply other threads:[~2007-07-20 20:22 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-07-20 20:22 Daniel J Walsh [this message]
2007-07-20 22:28 ` There is a bug in checkmodule that is driving me nuts Karl MacMillan
2007-07-21 4:20 ` Shintaro Fujiwara
2007-07-23 14:25 ` Karl MacMillan
2007-07-23 14:30 ` Stephen Smalley
2007-07-23 14:38 ` Daniel J Walsh
2007-07-23 15:00 ` Karl MacMillan
2007-07-23 16:00 ` Daniel J Walsh
2007-07-23 16:00 ` Daniel J Walsh
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=46A11983.5090405@redhat.com \
--to=dwalsh@redhat.com \
--cc=jbrindle@tresys.com \
--cc=kmacmill@redhat.com \
--cc=sds@tycho.nsa.gov \
--cc=selinux@tycho.nsa.gov \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.