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