path: root/lib/addns/wscript

#!/usr/bin/env python

import Options

def configure(conf):
    pass
    #conf.CHECK_HEADERS('sys/uuid.h')