changeset 12:4bf4943f93a4

Forgot to switch branches in ClioPatria repo - now added in ~/etc/setup_as_dml.sh
author samer
date Mon, 19 Jan 2015 14:23:19 +0000
parents 43c065ae6852
children 2059c4f64feb
files etc/setup_as_dml.sh
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/etc/setup_as_dml.sh	Sun Jan 18 23:24:43 2015 +0000
+++ b/etc/setup_as_dml.sh	Mon Jan 19 14:23:19 2015 +0000
@@ -65,6 +65,7 @@
 
 # DOWNLOADS FROM REPOs
 get_repo_into ~/src/github git https://github.com/samer--/ClioPatria
+cd ~/src/github/ClioPatria && git checkout dml
 get_repo_into ~/src/github git https://github.com/humdrum-tools/humdrum-tools --recursive
 if [ $MAKE_HUMDRUM == yes ]; then
 	cd ~/src/github/humdrum-tools && make