Ticket #23461: Portfile.nginx.diff

File Portfile.nginx.diff, 363 bytes (added by y8@…, 15 years ago)
  • Portfile

    old new  
    188188                            md5     c731d6ac14b4c8a99fda2c7e89356a8f
    189189    configure.args-append   --add-module=${workpath}/${redis_distname}
    190190}
     191
     192variant debug description {Enable debug mode} {
     193    configure.args-append   --with-debug
     194}