netron/tools/keras-generate

#!/bin/bash

mkdir -p ../third_party

repository=https://github.com/keras-team/keras.git

if [ -d "../third_party/keras" ]; then
    pushd "../third_party/keras" > /dev/null
    echo "Fetch ${repository}..."
    git fetch -p
    echo "Reset ${repository}..."
    git reset --hard origin/master
    popd > /dev/null
else
    echo "Clone ${repository}..."
    pushd "../third_party" > /dev/null
    git clone --recursive ${repository}
    popd > /dev/null
fi

echo "Update '../src/keras-operator.json'"
python keras-operator-json.py