diff options
| author | Tomas Kulhanek <tomas.kulhanek@stfc.ac.uk> | 2019-01-28 13:24:07 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-28 13:24:07 +0000 |
| commit | d5ae6207e1045af233b9c27f94d78a3e1e8600bd (patch) | |
| tree | fd9a560e080536b3afdab095bee5e962f3b41a49 /build/jenkins-build.sh | |
| parent | 0d74c50c48ae518fedb44e5d04a148eaa02b485b (diff) | |
| parent | 73eab10a44572b117054c3cff2cc1f14c58fdfa7 (diff) | |
| download | regularization-d5ae6207e1045af233b9c27f94d78a3e1e8600bd.tar.gz regularization-d5ae6207e1045af233b9c27f94d78a3e1e8600bd.tar.bz2 regularization-d5ae6207e1045af233b9c27f94d78a3e1e8600bd.tar.xz regularization-d5ae6207e1045af233b9c27f94d78a3e1e8600bd.zip | |
Merge pull request #94 from TomasKulhanek/master
Universal build script
Diffstat (limited to 'build/jenkins-build.sh')
| -rwxr-xr-x | build/jenkins-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/jenkins-build.sh b/build/jenkins-build.sh index 190ac92..5b6c9ce 100755 --- a/build/jenkins-build.sh +++ b/build/jenkins-build.sh @@ -1,2 +1,2 @@ #!/usr/bin/env bash -bash <(curl -L https://raw.githubusercontent.com/TomasKulhanek/CCPi-VirtualMachine/master/scripts/jenkins-build.sh) +bash <(curl -L https://raw.githubusercontent.com/vais-ral/CCPi-VirtualMachine/master/scripts/jenkins-build.sh) |