diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-01 21:05:36 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-01 21:05:36 +0000 |
commit | 1e94b6229e01806f3065066d8eb4917253ef8862 (patch) | |
tree | 3294b03fcecbf300e8ce7d7c4c144c27ca643558 /src/util | |
parent | a1a8a758846ae4d0a0bd4d6d2b969afd66ddad42 (diff) |
fixes to some *clean targets
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/Makefile.am | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 7f469c68b..c3b3d8438 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -178,5 +178,10 @@ DISTCLEANFILES = \ tls.h.tmp \ integer.h \ rational.h \ - tls.h - + tls.h \ + Debug_tags.tmp \ + Debug_tags.h \ + Debug_tags \ + Trace_tags.tmp \ + Trace_tags.h \ + Trace_tags |