Do not copy when dest==dist in Setup.sh · e85efec7a5 - gf-rgl - GupHub

msyds/gf-rgl

0 Fork 0

forked from GitHub/gf-rgl

John J. Camilleri committed 2021-08-20 14:04:29 +02:00

1 parent 62488a2980

commit e85efec7a5

1 file changed

+1

									
										Setup.sh
									
		+1
		
												View File
												
					@@ -97,6 +97,7 @@ for module in $modules_alltenses; do

					done

					done

					# Copy

					# Copy

					if [ $dest == $dist ]; then exit 0; fi

					echo "Copying to ${dest}"

					echo "Copying to ${dest}"

					mkdir -p "${dest}"

					mkdir -p "${dest}"

					cp -R "${dist}"/* "${dest}"

					cp -R "${dist}"/* "${dest}"