mirror of
https://github.com/oliverschmidt/contiki.git
synced 2024-09-06 19:54:33 +00:00
5 lines
95 B
Awk
5 lines
95 B
Awk
|
BEGIN {
|
||
|
builtin["_exit"] = "void _exit()";
|
||
|
builtin["strlen"] = "unsigned long strlen()";
|
||
|
}
|