Make sure the sources directory for RPM exists
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Tue, 31 Jan 2017 11:43:16 +0000 (12:43 +0100)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Tue, 31 Jan 2017 11:43:16 +0000 (12:43 +0100)
commit34b8f3b06c9ab845aa16d2440f8b153b2089c772
treef03cae5d12b4445334027144344bd501b04d28ef
parent411f11dfc5c11a4fa6044ef6d1e01bcb28049af1
Make sure the sources directory for RPM exists
gen.sh