diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-14 12:33:04 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-14 12:33:04 +0000 |
commit | 8659edc0981373a42f123cd7d84b9925be0123bc (patch) | |
tree | cc5ca041ceda342b9416d353e9c19ee03c721831 | |
parent | e418976107ed1581c108c82cd5b3b06c2f4ba9db (diff) |
* Don't forget the .flags files.
-rw-r--r-- | tests/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 |