#!/bin/sh

#. sh/tools.sh

echo \#ifndef CONFIG_INCLUDED
echo \#define CONFIG_INCLUDED

echo \#include \"config-content.hh\"

echo \#endif
