Use new toolchain for parent diff build
Reviewers: teon.banek, buda Reviewed By: buda Subscribers: pullbot Differential Revision: https://phabricator.memgraph.io/D1972
This commit is contained in:
parent
03226c4b7e
commit
75ffcc4ee9
@ -2,7 +2,6 @@
|
||||
project: ^mg-master-diff$
|
||||
commands: |
|
||||
# Activate toolchain
|
||||
export ORIG_PATH=$PATH
|
||||
export PATH=/opt/toolchain-v1/bin:$PATH
|
||||
export LD_LIBRARY_PATH=/opt/toolchain-v1/lib:/opt/toolchain-v1/lib64
|
||||
|
||||
@ -45,10 +44,6 @@
|
||||
./generate_dataset.sh
|
||||
cd ../../..
|
||||
|
||||
# Deactivate environment
|
||||
export PATH=$ORIG_PATH
|
||||
export LD_LIBRARY_PATH=""
|
||||
|
||||
# Checkout to parent commit and initialize.
|
||||
cd ../parent
|
||||
git checkout HEAD~1
|
||||
|
Loading…
Reference in New Issue
Block a user