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