diff options
Diffstat (limited to 'debian/patches/profiled-build.diff')
| -rw-r--r-- | debian/patches/profiled-build.diff | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/debian/patches/profiled-build.diff b/debian/patches/profiled-build.diff index 1eb203b..b4e67c5 100644 --- a/debian/patches/profiled-build.diff +++ b/debian/patches/profiled-build.diff @@ -1,18 +1,16 @@ # DP: Ignore errors in the profile task. -Index: b/Makefile.pre.in -=================================================================== --- a/Makefile.pre.in +++ b/Makefile.pre.in -@@ -467,6 +467,16 @@ build_all_generate_profile: +@@ -504,6 +504,16 @@ build_all_generate_profile: run_profile_task: - : # FIXME: can't run for a cross build + @ # FIXME: can't run for a cross build $(LLVM_PROF_FILE) $(RUNSHARED) ./$(BUILDPYTHON) $(PROFILE_TASK) || true + task="$(PROFILE_TASK)"; \ + case "$$task" in \ + *-s\ *) \ + $(LLVM_PROF_FILE) $(RUNSHARED) ./$(BUILDPYTHON) $$task; \ -+ while [ -f $(srcdir)/build/pynexttest ]; do \ ++ while [ -f $(abs_builddir)/build/pynexttest ]; do \ + $(LLVM_PROF_FILE) $(RUNSHARED) ./$(BUILDPYTHON) $$task; \ + done;; \ + *) \ |