12 Commits

Author	SHA1	Message	Date
Hisham Muhammad	36d5018c0c	Implemented various performance counters	2018-02-04 08:57:35 +01:00
guoci	60acda0bce	make script version agnostic	2017-07-27 17:02:01 -04:00
Diederik de Groot	50f03f5950	Enh: scripts/MakeHeader script ... Only write a new .h file if something changed for the header file being created. This prevents a lot of recompilation during development	2017-04-21 16:39:03 +02:00
Hisham Muhammad	3383d8e556	Sorry about the mega-patch. ... This is a work-in-progress, code is currently broken. (Some actions, and notably, the header, are missing.)	2015-01-21 23:27:31 -02:00
Hisham Muhammad	1eda099d06	Another portability tweak.	2014-11-19 23:27:21 -02:00
Robert Rosengren	5aac1733a6	Possible to regenerate headers outside of srcdir	2014-01-17 09:33:52 +01:00
Hisham Muhammad	84281bdc44	major header cleanup	2011-12-26 21:35:57 +00:00
Hisham Muhammad	e685bdeea0	Fix GCC 4.3 issues: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=416852	2007-08-10 05:59:36 +00:00
Hisham Muhammad	9710a43001	Fixes for /proc location, submitted by Florent Thoumie	2007-05-17 18:29:30 +00:00
Hisham Muhammad	35afc13ebf	New version of MakeHeader. Does not use 'private' comment annotation, ... using the 'static' storage class instead. Automatically generates 'extern' declarations in headers for non-static data.	2006-06-06 20:28:09 +00:00
Hisham Muhammad	8c643f5f89	Use long long types to avoid overflow	2006-06-05 21:28:54 +00:00
Hisham Muhammad	425d48dc9e	Add header generator script.	2006-03-23 18:45:14 +00:00