diff options
Diffstat (limited to 'reproduce/src/bash/git-post-checkout')
| -rw-r--r-- | reproduce/src/bash/git-post-checkout | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/reproduce/src/bash/git-post-checkout b/reproduce/src/bash/git-post-checkout index 25dc2ac..e2a0fd0 100644 --- a/reproduce/src/bash/git-post-checkout +++ b/reproduce/src/bash/git-post-checkout @@ -9,8 +9,13 @@ # special characters for the installation location of meta-store so our own # installation is found by Git. +# File containig the metadata. MSFILE=".file-metadata" +# Delete all temporary files +find @TOP_PROJECT_DIR@/ -name "*~" -type f -delete + +# Function to help in reporting a crash. exit_on_fail() { "$@" if [ $? -ne 0 ]; then @@ -19,12 +24,15 @@ exit_on_fail() { fi } +# Check if the metadata file exists. if [ ! -e "$MSFILE" ]; then echo "\"$MSFILE\" missing" >&2 exit 1 fi +# Run metastore. exit_on_fail \ @BINDIR@/metastore -a -m -e -E -q -O @USER@ -G @GROUP@ -f "$MSFILE" +# Return with a success code (0). exit 0 |