diff options
author | Ole Loots <ole@monochrom.net> | 2012-12-18 01:10:20 +0100 |
---|---|---|
committer | Ole Loots <ole@monochrom.net> | 2012-12-18 01:10:20 +0100 |
commit | c6a5109a95c1206ccf63d99316fa12b8c43bb7cf (patch) | |
tree | b967622841c027122d9a3970705c0cce675e5249 /atari/extract.php | |
parent | 59a44380a6951b220c91d109532c24ecc7148361 (diff) | |
download | netsurf-c6a5109a95c1206ccf63d99316fa12b8c43bb7cf.tar.gz netsurf-c6a5109a95c1206ccf63d99316fa12b8c43bb7cf.tar.bz2 |
Preparing for merge...
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; + } +} +?> |