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