gerrit.osmocom.org / osmo-ttcn3-hacks / 901cede86885a4dec0d1029c3d54b92c7d32eebf / library / sabp / regen_makefile.sh