#!/bin/sh
echo "char *version_string = \"version $Name: R112 $ `uname -sr` (`uname -m`)\";" > version.c
