Changeset efc4f09 in rtems-tools for rtemstoolkit/options.py
- Timestamp:
- 12/09/15 09:08:19 (8 years ago)
- Branches:
- 4.10, 5, master
- Children:
- 8b49f73
- Parents:
- c9fa179
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
rtemstoolkit/options.py
rc9fa179 refc4f09 354 354 repo_valid = '1' 355 355 repo_head = repo.head() 356 repo_clean = repo.clean()356 repo_clean = not repo.dirty() 357 357 repo_id = repo_head 358 358 if not repo_clean:
Note: See TracChangeset
for help on using the changeset viewer.