# virtual-libc.make is a meta makefile
# no config options so far.