aboutsummaryrefslogtreecommitdiff
path: root/run
diff options
context:
space:
mode:
authorMarvin Borner2020-05-11 22:45:08 +0200
committerMarvin Borner2020-05-11 22:45:08 +0200
commitfe4280eb69fbeb386b5442b3aeb515dde1c117ec (patch)
tree5837a5af36629ddad0215c248f30cd8ce6bb385c /run
parent9b959a402f1998a9c608b917034cae81bd03b088 (diff)
Some scheduling improvements
And other stuff..
Diffstat (limited to 'run')
-rwxr-xr-xrun1
1 files changed, 0 insertions, 1 deletions
diff --git a/run b/run
index 7ecc464..9a5d150 100755
--- a/run
+++ b/run
@@ -79,7 +79,6 @@ make_cross() {
cd "${DIR}/.."
else
- # Should be sourced to take effect
cd cross
DIR=$(pwd)
export PREFIX="${DIR}/opt"