diff options
Diffstat (limited to 'baserock_opengrok/clone-and-index.sh')
| -rw-r--r-- | baserock_opengrok/clone-and-index.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/baserock_opengrok/clone-and-index.sh b/baserock_opengrok/clone-and-index.sh deleted file mode 100644 index 10a8faac..00000000 --- a/baserock_opengrok/clone-and-index.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - - -dir={{ OPENGROK_BASE }}/source -if [ ! -d $dir/.git ]; then - git clone /opt/export-workdir/exported-definitions/ $dir -fi - -git --git-dir="$dir/.git" --work-tree="$dir" pull -(cd $dir && git submodule init) -(cd $dir && git submodule sync) -(cd $dir && git submodule update) -git --git-dir="$dir/.git" --work-tree="$dir" clean -xdff - -OPENGROK_INSTANCE_BASE={{ OPENGROK_BASE }} {{ OPENGROK_BASE }}/bin/OpenGrok index {{ OPENGROK_BASE }}/source/ |