diff --git a/Setup.sh b/Setup.sh index 3d69081e6..6a6a7c392 100755 --- a/Setup.sh +++ b/Setup.sh @@ -97,6 +97,7 @@ for module in $modules_alltenses; do done # Copy +if [ $dest == $dist ]; then exit 0; fi echo "Copying to ${dest}" mkdir -p "${dest}" cp -R "${dist}"/* "${dest}"