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