diff --git a/clean-abc-interpreter/linux-arm64/build.sh b/clean-abc-interpreter/linux-arm64/build.sh index e7aa1ba4fd3f65f263cabb0b292817c53bba6f8e..3ee1f6e85ec80f6034cfae9c5d7e2b7e0622adfc 100755 --- a/clean-abc-interpreter/linux-arm64/build.sh +++ b/clean-abc-interpreter/linux-arm64/build.sh @@ -2,7 +2,12 @@ set -e #to remove when changes are in the master -( cd src/abc-interpreter-master; git pull origin 103-linux-arm64-interface; ) +( + cd src/abc-interpreter-master; + git config --global user.email "ci@gitlab.science.ru.nl" + git config --global user.name "ci" + git pull origin 103-linux-arm64-interface; +) cp -r src/abc-interpreter-master build/abc-interpreter diff --git a/clean-lib-graphcopy/linux-arm64/build.sh b/clean-lib-graphcopy/linux-arm64/build.sh index f4f8a7f74b37dc6253d6ecde823a78599ca84b5e..6a536f12c25490c7c097302a88acc717b551dce2 100755 --- a/clean-lib-graphcopy/linux-arm64/build.sh +++ b/clean-lib-graphcopy/linux-arm64/build.sh @@ -1,9 +1,6 @@ #!/bin/sh mkdir -p target/clean-lib-graphcopy -#remove when changes are in master -cp -r src/clean-libraries-linux-arm64-graphcopy-support src/clean-libraries-master - # Add clean libraries mkdir -p target/clean-lib-graphcopy/lib/GraphCopy cp -r src/clean-libraries-master/Libraries/graph_copy/*.[di]cl target/clean-lib-graphcopy/lib/GraphCopy/ diff --git a/clean-lib-graphcopy/linux-arm64/git-sources.txt b/clean-lib-graphcopy/linux-arm64/git-sources.txt index 0a5811cb30c67f869eacc9893e52a834f0a55a16..874a10ab69a94e851f8a13e6d2bd788daabd75f0 100644 --- a/clean-lib-graphcopy/linux-arm64/git-sources.txt +++ b/clean-lib-graphcopy/linux-arm64/git-sources.txt @@ -1 +1 @@ -https://gitlab.science.ru.nl/clean-and-itasks/clean-libraries linux-arm64-graphcopy-support +https://gitlab.science.ru.nl/clean-and-itasks/clean-libraries master