config/backend.in
changeset 2069 366bd2b22675
parent 1877 b579a5cb53d1
child 2484 d1a8c2ae7946
     1.1 --- a/config/backend.in	Thu Apr 01 19:45:28 2010 +0200
     1.2 +++ b/config/backend.in	Thu Aug 05 17:59:51 2010 +0200
     1.3 @@ -16,3 +16,7 @@
     1.4  config BACKEND_KERNEL
     1.5      string
     1.6      option env="CT_BACKEND_KERNEL"
     1.7 +
     1.8 +config BACKEND_LIBC
     1.9 +    string
    1.10 +    option env="CT_BACKEND_LIBC"