Merge branch 'release_16.04' into release_16.07

galaxyproject · Nov 3, 2016 · d72cc77 · d72cc77
2 parents 5963a2f + 65338b3
commit d72cc77
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/run_tool_shed.sh b/run_tool_shed.sh
@@ -23,7 +23,7 @@ tool_shed=`./scripts/tool_shed/bootstrap_tool_shed/parse_run_sh_args.sh $@`
 args=$@
 
 if [ $? -eq 0 ] ; then
-	bash ./scripts/tool_shed/bootstrap_tool_shed/parse_run_sh_args.sh $@
+	bash ./scripts/tool_shed/bootstrap_tool_shed/bootstrap_tool_shed.sh $@
 	args=`echo $@ | sed "s#-\?-bootstrap_from_tool_shed $tool_shed##"`
 fi