summaryrefslogtreecommitdiff
path: root/util/make_release.py
diff options
context:
space:
mode:
Diffstat (limited to 'util/make_release.py')
-rwxr-xr-xutil/make_release.py7
1 files changed, 7 insertions, 0 deletions
diff --git a/util/make_release.py b/util/make_release.py
index fc97164e4..916b8a0ba 100755
--- 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):