2022-06-27 12:53:49 +02:00
|
|
|
--- scripts/find-debuginfo.in.orig 2021-09-24 09:10:06.477724685 +0000
|
|
|
|
|
+++ scripts/find-debuginfo.in 2021-09-24 09:10:26.557680705 +0000
|
2021-09-24 11:12:48 +02:00
|
|
|
@@ -168,7 +168,6 @@ while [ $# -gt 0 ]; do
|
|
|
|
|
;;
|
|
|
|
|
--dwz-single-file-mode)
|
|
|
|
|
dwz_single_file_mode=true
|
|
|
|
|
- shift
|
|
|
|
|
;;
|
|
|
|
|
--build-id-seed)
|
|
|
|
|
build_id_seed=$2
|
