From 8659edc0981373a42f123cd7d84b9925be0123bc Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Sun, 14 Jan 2007 12:33:04 +0000
Subject: [PATCH] * Don't forget the .flags files.

---
 tests/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/Makefile.am b/tests/Makefile.am
index d4c39ca5f..0b3437578 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -46,5 +46,5 @@ EXTRA_DIST = $(TESTS) \
   gc-runtime.nix.in gc-runtime.builder.sh \
   check-refs.nix.in \
   filter-source.nix.in \
-  $(wildcard lang/*.nix) $(wildcard lang/*.exp) $(wildcard lang/*.exp.xml) \
+  $(wildcard lang/*.nix) $(wildcard lang/*.exp) $(wildcard lang/*.exp.xml) $(wildcard lang/*.flags) \
   common.sh.in