diff options
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
| -rw-r--r-- | reproduce/src/bash/git-pre-commit | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/reproduce/src/bash/git-pre-commit b/reproduce/src/bash/git-pre-commit index dbf7dc6..ca28757 100644 --- a/reproduce/src/bash/git-pre-commit +++ b/reproduce/src/bash/git-pre-commit @@ -20,8 +20,10 @@ # git reset HEAD -- .metadata # git checkout HEAD -- .metadata +# File containig the metadata. MSFILE=".file-metadata" +# Function to help in reporting a crash. exit_on_fail() { "$@" if [ $? -ne 0 ]; then @@ -30,6 +32,7 @@ exit_on_fail() { fi } +# Run metastore. exit_on_fail \ @BINDIR@/metastore -O @USER@ -G @GROUP@ -s -f "$MSFILE" @@ -39,12 +42,15 @@ if ! git-ls-tree --name-only HEAD 2>/dev/null | grep -Fqx "$MSFILE"; then @BINDIR@/metastore -O @USER@ -G @GROUP@ -s -f "$MSFILE" fi +# Check if the metadata file exists. if [ ! -e "$MSFILE" ]; then echo "\"$MSFILE\" missing" >&2 exit 1 fi +# Add the metadata file to the Git repository. exit_on_fail \ git-add "$MSFILE" +# Return with a success code (0). exit 0 |