check not needed since we don't touch the global NIMBLE_DIR

This commit is contained in:
Christian Ulrich 2019-06-17 01:06:21 +02:00
parent 170e650e53
commit 6cca018a82
No known key found for this signature in database
GPG Key ID: 8241BE099775A097
1 changed files with 1 additions and 3 deletions

View File

@ -19,9 +19,7 @@ let
copyNimDeps = ''
mkdir -p $NIMBLE_DIR/pkgs
if [ ! -f $NIMBLE_DIR/packages_official.json ]; then
echo "[]" > $NIMBLE_DIR/packages_official.json
fi
'' + toString (map (dep: ''
if [ -d ${dep}/.nimble ]; then
cp -R ${dep}/.nimble/pkgs $NIMBLE_DIR