1 files changed, 11 insertions, 0 deletions
diff --git a/users/edef/sources.pl b/users/edef/sources.pl
new file mode 100755
index 000000000000..39550d83c1a5
--- /dev/null
+++ b/users/edef/sources.pl
@@ -0,0 +1,11 @@
+#! /usr/bin/env -S perl -ln
+use strict;
+
+if (/^evaluating file '(.*)'$/ or
+    /^copied source '(.*)' -> '.*'$/ or
+    /^trace: lorri read: '(.*)'$/) {
+    print $1;
+    next;
+}
+
+print STDERR unless /^instantiated '.*' -> '.*'$/;