diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-25 15:43:16 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-25 15:43:16 -0400 |
| commit | a9174ce4dc3939bbe14c9aa1fd11c79c7877eb16 (patch) | |
| tree | ae7492a1c78f30aad35e69a0bd1658a930b2c630 /test/regress/Makefile.levels | |
| parent | b25991f4c2779c34b51cd51b943290a4a3d2a9fd (diff) | |
Add ability to run different regression levels with "make check"
Diffstat (limited to 'test/regress/Makefile.levels')
| -rw-r--r-- | test/regress/Makefile.levels | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/regress/Makefile.levels b/test/regress/Makefile.levels new file mode 100644 index 000000000..f86bd4a6f --- /dev/null +++ b/test/regress/Makefile.levels @@ -0,0 +1,11 @@ +# This Makefile fragment allows one to use "make check" but also specify +# a regression level. +ifeq ($(REGRESSION_LEVEL),1) +SUBDIRS += regress1 +endif +ifeq ($(REGRESSION_LEVEL),2) +SUBDIRS += regress1 regress2 +endif +ifeq ($(REGRESSION_LEVEL),3) +SUBDIRS += regress1 regress2 regress3 +endif |