#!/bin/bash -e
cd ietf-routing-bis
./run.sh
