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