diff --git a/czr_pythons_pg/DESCIRPTION b/czr_pythons_pg/DESCRIPTION similarity index 100% rename from czr_pythons_pg/DESCIRPTION rename to czr_pythons_pg/DESCRIPTION diff --git a/make.py b/make.py index 255d07300595665b250a916e1175b2cecb63b38c..6788791ee7cd82b7bae43a14215b0348db6315d7 100644 --- a/make.py +++ b/make.py @@ -6,7 +6,8 @@ import os.path if __name__ == '__main__': dirs = [dir for dir in os.listdir('.') if os.path.isdir(dir)] - boxes = [box for box in dirs if os.path.exists(os.path.join(box, 'DESCRIPTION'))] + exi = lambda box, sup: os.path.exists(os.path.join(box, 'build%s.sh' % (sup, ))) + boxes = [box for box in dirs if exi(box, '') or exi(box, '_as_vagrant')] # Generate Gitlab CI file with open('.gitlab-ci.yml', 'wb') as ci: