Another attempt to eradicate ensureDir

See c556a6ea46.
This commit is contained in:
Eelco Dolstra
2014-06-30 14:56:10 +02:00
parent 47075812ce
commit 40f7b0f9df
128 changed files with 173 additions and 173 deletions
@@ -38,7 +38,7 @@ rec {
phaseNames = ["doConfigure" "doMake" "doDeploy"];
doDeploy = a.fullDepEntry ''
ensureDir "$out/bin" "$out/share/gap/"
mkdir -p "$out/bin" "$out/share/gap/"
cp -r . "$out/share/gap/build-dir"