2 Commits

Author	SHA1	Message	Date
Benedikt Heine	3c28432044	Do not use -j for clean ... -j introduces race conditions, which lets the find -name ... -delete commands fail, because those can't find specific files, which got removed in the meantime.	2018-11-28 21:22:36 +02:00
Benedikt Heine	394393fb6e	Let's test CircleCI	2018-11-28 21:22:36 +02:00