diff --git a/scripts/travis-build-dependencies.sh b/scripts/travis-build-dependencies.sh index 61928ea62..15931960c 100755 --- a/scripts/travis-build-dependencies.sh +++ b/scripts/travis-build-dependencies.sh @@ -51,7 +51,7 @@ mkdir pkg ################################################################################ # Copy Digraphs to its proper location if [ "$SETUP" == "appveyor" ]; then - cp -r /cygdrive/c/projects/digraphs $GAPROOT/pkg/digraphs + cp -r /cygdrive/c/projects/digraphs* $GAPROOT/pkg/digraphs elif [ "$SETUP" == "travis" ]; then mv $HOME/digraphs $GAPROOT/pkg/digraphs fi