diff options
Diffstat (limited to 'atari/extract.php')
-rwxr-xr-x | atari/extract.php | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/atari/extract.php b/atari/extract.php new file mode 100755 index 000000000..865b70ed7 --- /dev/null +++ b/atari/extract.php @@ -0,0 +1,10 @@ +#!/usr/bin/php +<? +$lines = file("deskmenu.c"); + +foreach($lines as $line){ + if(stripos($line, "static void __CDECL menu_") === 0){ + echo $line; + } +} +?> |