contrib/ci.inria.fr/job-1-build-windows.sh: delete installation directory · 698fc68f17 - MicroLab Git Service

Преглед на файлове

contrib/ci.inria.fr/job-1-build-windows.sh: delete installation directory

Nathalie Furmento преди 6 години

родител

7123b2e59f

ревизия

698fc68f17

променени са 1 файла, в които са добавени 1 реда и са изтрити 0 реда

Разделен изглед Покажи статистика за разликите

						
							+ 1
							
							- 0
						
contrib/ci.inria.fr/job-1-build-windows.sh
							 
								Целия файл
							
				@@ -76,6 +76,7 @@ then
			
				 #    cp ${HWLOC}/bin/*dll ${winball}/bin
			
				     zip -r ${winball}.zip ${winball}
			
				+    rm -rf starpu_install
			
				     mv ${winball} starpu_install
			
				 fi