Skip to content

Make setup-env.sh sourceable from any directory#6

Open
hq6 wants to merge 1 commit into
wsmoses:masterfrom
hq6:master
Open

Make setup-env.sh sourceable from any directory#6
hq6 wants to merge 1 commit into
wsmoses:masterfrom
hq6:master

Conversation

@hq6

@hq6 hq6 commented Aug 13, 2018

Copy link
Copy Markdown

After the initial build, it is rather cumbersome to have to cd Tapir-Meta && source setup-env.sh && cd -.
This PR fixes the problem so that one can source setup-env.sh from any directory.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant