path: root/lib/addns/wscript

#!/usr/bin/env python

import Options

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