diff options
| author | Jiri Vanek <[email protected]> | 2012-08-27 17:38:52 +0200 |
|---|---|---|
| committer | Jiri Vanek <[email protected]> | 2012-08-27 17:38:52 +0200 |
| commit | 85c4fcbcc483801ffc58e9cf02ffb0523608eadf (patch) | |
| tree | 180fbde3d461c7c6ed4aa0250be3a120dbabfc3e /Makefile.am | |
| parent | 36f7aeda80f29c9969099feb064985e1920518e9 (diff) | |
Added PR822 reproducer
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 299215b..937cb28 100644 --- a/Makefile.am +++ b/Makefile.am @@ -42,7 +42,7 @@ export EMMA_MODIFIED_FILES=tests-output.xml ServerAccess-logs.xml stdout.log std export EMMA_BACKUP_SUFFIX=_noEmma export EMMA_SUFFIX=_withEmma export META_MANIFEST = META-INF/MANIFEST.MF -export SIGNED_REPRODUCERS=signed +export SIGNED_REPRODUCERS=signed signed2 export SIMPLE_REPRODUCERS=simple export CUSTOM_REPRODUCERS=custom export ALL_NONCUSTOM_REPRODUCERS=$(SIMPLE_REPRODUCERS) $(SIGNED_REPRODUCERS) |