22 Commits (b9adc30b86ef550655de1e8a8122dae20a6b13df)

Author SHA1 Message Date
Christian Göttsche a6a5686388 Track file descriptors in valgrind script 5 years ago
Christian Göttsche 3142077c76 Add script to run htop under valgrind 6 years ago
Zev Weiss a1a027b9bd Axe automated header generation. 6 years ago
Christian Göttsche b4ceb83d76 MakeHeader.py.in: remove unused import 6 years ago
Christian Göttsche 1130ad8b73 MakeHeader.py.in: remove executable bit 6 years ago
Nathan Scott 9e57b5c3f4 Generate an appropriate shebang line for MakeHeader script 6 years ago
Nathan Scott b3aef4ea3a Revert "MakeHeader.py: use python3 shebang" 6 years ago
Christian Göttsche 40ac7a88af MakeHeader.py: use python3 shebang 6 years ago
Nathan Scott dfd9279f87 Resolve complation issues with -fno-common (default from gcc-10) 6 years ago
Hisham Muhammad 402e46bb82 Linting changes 7 years ago
volkov-am 7cfaa9dede MakeHeader.py: Fix for non-utf8 environments (#770) 8 years ago
guoci 60acda0bce make script version agnostic 9 years ago
Diederik de Groot 50f03f5950 Enh: scripts/MakeHeader script 9 years ago
Hisham Muhammad 3383d8e556 Sorry about the mega-patch. 11 years ago
Hisham Muhammad 1eda099d06 Another portability tweak. 11 years ago
Robert Rosengren 5aac1733a6 Possible to regenerate headers outside of srcdir 12 years ago
Hisham Muhammad 84281bdc44 major header cleanup 14 years ago
Hisham Muhammad e685bdeea0 Fix GCC 4.3 issues: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=416852 19 years ago
Hisham Muhammad 9710a43001 Fixes for /proc location, submitted by Florent Thoumie 19 years ago
Hisham Muhammad 35afc13ebf New version of MakeHeader. Does not use 'private' comment annotation, 20 years ago
Hisham Muhammad 8c643f5f89 Use long long types to avoid overflow 20 years ago
Hisham Muhammad 425d48dc9e Add header generator script. 20 years ago