RELEASE: A little more work on make_release.py

--HG--
extra : convert_revision : e3efbc0a79212c7474d547545411518b057cc1e9

diff --git a/util/make_release.py b/util/make_release.py
index fc97164e42c616097be2d4b02fb239068f9de8e8..916b8a0bafcaa895d2b03546cba5fce5604d3835 100755 (executable)
--- a/util/make_release.py
+++ b/util/make_release.py
@@ -148,6 +148,13 @@ remove(release_dir, 'build_opts/X86_FS')
 remove(release_dir, 'util/chgcopyright')
 remove(release_dir, 'util/make_release.py')
 
+#state trace
+remove(release_dir, 'util/statetrace/x86.format')
+remove(release_dir, 'util/statetrace/arch/tracechild_amd64.cc')
+remove(release_dir, 'util/statetrace/arch/tracechild_amd64.hh')
+remove(release_dir, 'util/statetrace/arch/tracechild_i386.cc')
+remove(release_dir, 'util/statetrace/arch/tracechild_i386.hh')
+
 def remove_sources(regex, subdir):
     script = joinpath(release_dir, subdir, 'SConscript')
     if isinstance(regex, str):