# SPDX-License-Identifier: GPL-2.0-only # Copyright (c) 2023, Jaguar Micro. All rights reserved. #!/usr/bin/env bash function build_core() { pushd crete-core make clean make make install popd } function build_vnet() { pushd crete-vnet make clean make popd } build_core build_vnet