osmo-dev.git

I just added a new repository: osmo-dev.git. For a long time I have been using hacked-up tools to help me in daily Osmocom development. A recent addition was a generator for a top-level makefile that allows one-line do-what-I-mean rebuild. That's the point where I thought it made sense to share, in case anyone else is interested in this kind of convenience. The name is taken from osmo-ci. osmo-ci is for continuous integation on our jenkins, osmo-dev is for development at home. I considered adding to osmo-ci, but the aims are actually different from osmo-ci. There are two README files, one explaining how the top-level makefile works, one in src/ explains my little git robots that are also included. The future will bring more *.deps and *.opts configs... osmo-dev is on gerrit, feel free to contribute / test / fix! If you don't agree with the naming and separate repos decision, I'd be fine to change that... ~N