swh:1:snp:9c27352633c4639a943e316050a7b904f57900e2
Raw File
Tip revision: 69d174f5d4de49dec1b9c462eb584ba89ac0285f authored by Pierre Boutillier on 23 April 2019, 12:53:54 UTC
Makefile: make clean removes the dune-project files
Tip revision: 69d174f
apply_patch.sh
#! /bin/sh

script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
cd "$script_dir"/..

branch=$1
has_git() {
    which git && [ -d .git ]
}

if has_git && ! [ -z "$(git status -s)" ] ; then
    echo "This script cannot be applied within a dirty git directory,"
    echo "you need 'stash' or 'commit' your changes before."
    exit 1
fi

set -e

case "$branch" in
    zeronet)
        sed -i s/TEZOS/TEZOS_ZERONET/ ./src/lib_shell/distributed_db_message.ml
        patch -p1 < scripts/alphanet_constants.patch
        patch -p1 < scripts/zeronet.patch
        if has_git; then git commit -a -m "Zeronet: change economic constants." --author "Tezos CI <null@tezos.com>"; fi
        echo "Done"
        ;;
    alphanet)
        sed -i s/TEZOS/TEZOS_ALPHANET/ ./src/lib_shell/distributed_db_message.ml
        patch -p1 < scripts/alphanet_constants.patch
        if has_git; then git commit -a -m "Alphanet: change economic constants." --author "Tezos CI <null@tezos.com>"; fi
        echo "Done"
        ;;
    *)
        echo "Noop"
esac
back to top