| commit | 679b652c13a26fe543ca028c08190f6eeff0979d | [log] [tgz] |
|---|---|---|
| author | Stephen Smalley <sds@tycho.nsa.gov> | Mon Apr 01 10:11:57 2013 -0400 |
| committer | Stephen Smalley <sds@tycho.nsa.gov> | Mon Apr 01 13:43:15 2013 -0400 |
| tree | a40300cc018dfdd281b261af9e4f0a11e43f4627 | |
| parent | b2ab4b8568fc163e454884934badbc6befde866a [diff] |
Label the .gps.interface.pipe.to_jni pipe with gps_data_file. Defines a name-based type transition for the named pipe. Depends on I046fa9f7122f77506c70b2c735345bc0194935df Change-Id: I5adee36b9309743d97c567df5f1e40ea76f34376 Signed-off-by: Stephen Smalley <sds@tycho.nsa.gov>