#include <stdio.h>#include"DumpInformation.h"intmain(int,char*[]){FILE* file =fopen(CMAKE_DUMP_FILE,"r");if(!file){printf("Error, could not open file %s", CMAKE_DUMP_FILE);return-1;}while(!feof(file)){int ch =fgetc(file);if(ch != EOF){putc(ch, stdout);}}fclose(file);return0;}