civ.c

Go to the documentation of this file.

#include <stdio.h>
#include <stdlib.h>
#include "tm.h"

void ci_report_version(void) {
  printf( "%s", ci_version );
  exit(0);
}