1 files changed, 13 insertions, 0 deletions
diff --git a/development/dis/usr_share.diff b/development/dis/usr_share.diff
new file mode 100644
index 0000000000..535fcd294e
--- /dev/null
+++ b/development/dis/usr_share.diff
@@ -0,0 +1,13 @@
+diff -Naur dis-0.5/dis dis-0.5.patched/dis
+--- dis-0.5/dis	2017-09-07 16:42:33.595299125 -0400
++++ dis-0.5.patched/dis	2017-09-07 16:42:51.714298161 -0400
+@@ -539,7 +539,8 @@
+ sub arg {
+     my ($opts, $args, $file) = @_;
+     return if grep $file eq $_, $opts->{arg};
+-    open my $fh, $file or die "ERROR: Cannot open $file: $!\n";
++	 my $fh;
++    open $fh, $file or open $fh, "/usr/share/dis/$file" or die "ERROR: Cannot open $file: $!\n";
+     my %args = map { /(\w+)/; my $a = $1; $a => [/=s/, /@/] } @$args;
+     while (<$fh>) {
+         s/;.*//;