diff options
| author | vagrant <vagrant@localhost.localdomain> | 2019-01-28 11:50:20 +0000 |
|---|---|---|
| committer | vagrant <vagrant@localhost.localdomain> | 2019-01-28 11:50:20 +0000 |
| commit | 0d74c50c48ae518fedb44e5d04a148eaa02b485b (patch) | |
| tree | 9e000d8a05a58d101cd838f9d914bbeb9dcee537 /recipes/regularisers | |
| parent | a293e77c132f8eaa2b1dd52ae9b926b90f72cfd0 (diff) | |
| parent | 4aa979cd6cd0e437ab5cc02367adf140d63030b6 (diff) | |
Merge branch 'master' of https://github.com/vais-ral/CCPi-Regularisation-Toolkit
Conflicts:
build/jenkins-build.sh
Diffstat (limited to 'recipes/regularisers')
| -rw-r--r-- | recipes/regularisers/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/recipes/regularisers/build.sh b/recipes/regularisers/build.sh index 0b8bce2..eaa778e 100644 --- a/recipes/regularisers/build.sh +++ b/recipes/regularisers/build.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -echo $CIL_VERSION +echo build.sh CIL_VERSION: $CIL_VERSION #if [ -z "$CIL_VERSION" ]; then # echo "Need to set CIL_VERSION" # exit 1 |