Changeset 1b20da0 in mainline for tools/check.sh
- Timestamp:
- 2018-02-28T17:52:03Z (7 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- 3061bc1
- Parents:
- df6ded8
- git-author:
- Jiří Zárevúcky <zarevucky.jiri@…> (2018-02-28 17:26:03)
- git-committer:
- Jiří Zárevúcky <zarevucky.jiri@…> (2018-02-28 17:52:03)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tools/check.sh
rdf6ded8 r1b20da0 2 2 3 3 # 4 # Copyright (c) 2010 Jakub Jermar 4 # Copyright (c) 2010 Jakub Jermar 5 5 # All rights reserved. 6 6 # … … 54 54 if [ `echo $H | grep "^$D\/.*"`x != "x" ]; 55 55 then 56 continue 2 56 continue 2 57 57 fi 58 58 done
Note:
See TracChangeset
for help on using the changeset viewer.