lower case
This commit is contained in:
parent
12a399d463
commit
dd79c71468
|
@ -59,7 +59,7 @@ function install_tomb {
|
||||||
fi
|
fi
|
||||||
|
|
||||||
function_check set_repo_commit
|
function_check set_repo_commit
|
||||||
set_repo_commit $INSTALL_DIR/tomb "Tomb commit" "$TOMB_COMMIT" $TOMB_REPO
|
set_repo_commit $INSTALL_DIR/tomb "tomb commit" "$TOMB_COMMIT" $TOMB_REPO
|
||||||
|
|
||||||
if [ -f $COMPLETION_FILE ]; then
|
if [ -f $COMPLETION_FILE ]; then
|
||||||
if grep -Fxq "install_tomb" $COMPLETION_FILE; then
|
if grep -Fxq "install_tomb" $COMPLETION_FILE; then
|
||||||
|
@ -77,10 +77,10 @@ function install_tomb {
|
||||||
cd $INSTALL_DIR/tomb
|
cd $INSTALL_DIR/tomb
|
||||||
|
|
||||||
git checkout $TOMB_COMMIT -b $TOMB_COMMIT
|
git checkout $TOMB_COMMIT -b $TOMB_COMMIT
|
||||||
if ! grep -q "Tomb commit" $COMPLETION_FILE; then
|
if ! grep -q "tomb commit" $COMPLETION_FILE; then
|
||||||
echo "Tomb commit:$TOMB_COMMIT" >> $COMPLETION_FILE
|
echo "tomb commit:$TOMB_COMMIT" >> $COMPLETION_FILE
|
||||||
else
|
else
|
||||||
sed -i "s/Tomb commit.*/Tomb commit:$TOMB_COMMIT/g" $COMPLETION_FILE
|
sed -i "s/tomb commit.*/tomb commit:$TOMB_COMMIT/g" $COMPLETION_FILE
|
||||||
fi
|
fi
|
||||||
|
|
||||||
make install
|
make install
|
||||||
|
|
Loading…
Reference in New Issue