From d657bbd65e3945d4100afb4715345846fc7430a6 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Thu, 13 Jun 2019 14:15:25 +0100 Subject: Permission flags of top.mk set to 644 like others, not 755 Until now, for some reason, the permission flags of `top.mk' were 755 (good for an executable), not 644 (which is what they should be for a plain text file that is run by another program). This is corrected with this commit. --- reproduce/analysis/make/top.mk | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 reproduce/analysis/make/top.mk (limited to 'reproduce/analysis') diff --git a/reproduce/analysis/make/top.mk b/reproduce/analysis/make/top.mk old mode 100755 new mode 100644 -- cgit v1.2.1