File: config.w32

package info (click to toggle)
php-wmerrors 2.0.0~git20190628.183ef7d-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 128 kB
  • sloc: ansic: 482; xml: 49; makefile: 13; sh: 3
file content (13 lines) | stat: -rw-r--r-- 310 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
// $Id$
// vim:ft=javascript

// If your extension references something external, use ARG_WITH
// ARG_WITH("wmerrors", "for wmerrors support", "no");

// Otherwise, use ARG_ENABLE
// ARG_ENABLE("wmerrors", "enable wmerrors support", "no");

if (PHP_WMERRORS != "no") {
	EXTENSION("wmerrors", "wmerrors.c");
}