1 /** GENERATED MELT TIMESTAMP FILE meltbuild-sources/warmelt-macro+melttime.h
2 ** NEVER EDIT OR MOVE THIS, IT IS GENERATED & PARSED! **/
3 /* These identifiers are generated in warmelt-outobj.melt
4 & handled in melt-runtime.c carefully. */
7 /* This warmelt-macro+melttime.h is included from warmelt-macro+meltdesc.c only. */
8 #if meltmod_WARMELTmiMACRO_mds__9F1A8661F449803B9109987ABD1EFD64
9 /* MELT generation timestamp for meltbuild-sources/warmelt-macro */
12 /* these symbols are extern "C" since dlsym-ed */
13 extern "C" const char melt_gen_timestamp
[] ;
14 extern "C" const long long melt_gen_timenum
;
15 extern "C" const char melt_build_timestamp
[] ;
17 #endif /*__cplusplus */
21 const char melt_gen_timestamp
[]="Fri Jun 12 15:30:06 2015 CEST";
22 const long long melt_gen_timenum
=1434115806;
24 const char melt_build_timestamp
[]= __DATE__
"@" __TIME__
29 #endif /*__cplusplus*/
34 } /* end extern C timestamp */
35 #endif /*__cplusplus */
37 #else /* ! meltmod_WARMELTmiMACRO_mds__9F1A8661F449803B9109987ABD1EFD64 */
38 #error invalid timestamp file for meltbuild-sources/warmelt-macro
39 #endif /* meltmod_WARMELTmiMACRO_mds__9F1A8661F449803B9109987ABD1EFD64 */