mirror of https://gerrit.osmocom.org/libosmocore
71f781c303
FSMs with identical names confuse the script, so at least warn about them. IMHO we should also have different names for each FSM, so not bothering to make the script safe against identical naming. Change-Id: I4fe7e85d2fdf23e2ba964f3b47be1954edc63cef |
||
---|---|---|
.. | ||
fsm-to-dot.py | ||
jenkins_amd64.sh | ||
jenkins_arch.sh | ||
jenkins_arm.sh | ||
jenkins_common.sh |