Mercurial > hg > dml-home
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