update AGIOS installation path to original repository (725a53b6) · Commits · David Auer / gekkofs

scripts/dl_dep.sh

+1 −1

Original line number	Diff line number	Diff line
		@@ -341,7 +341,7 @@ fi

		# get AGIOS
		if check_dependency "agios" "${DEP_CONFIG[@]}"; then
		clonedeps "agios" "https://github.com/jeanbez/agios.git" "" "-b gekkofs" &
		clonedeps "agios" "https://github.com/francielizanon/agios.git" "" "-b development" &
		fi

		# get date