lib/addns/wscript

   1 #!/usr/bin/env python
   2
   3 import Options
   4
   5 def configure(conf):
   6     pass
   7     #conf.CHECK_HEADERS('sys/uuid.h')