blob: caab41938aca7bc7b938663fff2dc84a6933276a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Summary: Add a cil label --remove command
Status: Finished
CreatedBy: Andrew Chilton <andychilton@gmail.com>
AssignedTo: Andrew Chilton <andychilton@gmail.com>
Label: Milestone-v0.06
Comment: 043f8971
Inserted: 2010-01-22T01:41:59
Updated: 2010-01-23T06:37:44
Currently you can 'cil label MyLabel cafebabe' but you can't remove it. Add the
following option:
$ cil label --remove MyLabel cafebabe
|
