Andreas Jaeger 36536f9554 Fix build-index
use mkdir -p so that the script does not fail if the directory already
exists.

Change-Id: I9a527b5dcabd7286eb8af7dcccef2a85be577387
2016-01-08 07:17:35 +01:00
..
2016-01-08 07:17:35 +01:00
2015-07-12 12:03:17 +02:00
2014-04-24 20:14:13 +02:00